fix(release): mirror the skills repo by PR instead of the commit API - #365
Draft
gewenyu99 wants to merge 1 commit into
Draft
fix(release): mirror the skills repo by PR instead of the commit API#365gewenyu99 wants to merge 1 commit into
gewenyu99 wants to merge 1 commit into
Conversation
gewenyu99
force-pushed
the
skills-gpg-mirror
branch
2 times, most recently
from
August 26, 2026 17:10
507c1c9 to
1b6b576
Compare
The mirror step committed straight to the target's default branch through createCommitOnBranch, which takes the whole tree in one request and times out once that tree is large. Each failure left more drift for the next release, so PostHog/skills has been stuck at v1.9.4 since March. Lands the sync the way PostHog/ai-plugin's own sync-skills workflow does instead: push a branch whose tip is the base commit, have the API create the signed commit on it, open a PR, let auto-merge squash it in. The mirror never writes to the default branch directly, and a failed run leaves a branch rather than a half-synced main. The mirror moves into a composite action, matching the mirror-to-s3 action already in this repo. Also invokes the omnibus hook through bash, since the mirrored copy has no executable bit. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
gewenyu99
force-pushed
the
skills-gpg-mirror
branch
from
August 26, 2026 17:15
1b6b576 to
ba7093d
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Signs the mirror commit locally so it can be pushed by git rather than built through the size-capped commit API, and lands it as an auto-merging PR the way ai-plugin's sync does.
🤖 Generated with Claude Code