Skip to content

fix generated stable branch push ref#288

Merged
mattiamanzati merged 1 commit into
mainfrom
fix-generated-stable-push-ref
Jun 29, 2026
Merged

fix generated stable branch push ref#288
mattiamanzati merged 1 commit into
mainfrom
fix-generated-stable-push-ref

Conversation

@mattiamanzati

Copy link
Copy Markdown
Contributor

Summary

  • fully qualify the generated stable PR branch ref when pushing a commit-tree SHA
  • fixes Git rejecting the push because the destination was not a full refname

Validation

  • git diff --check
  • git check-ref-format refs/heads/chore/generate-stable-branch

@mattiamanzati mattiamanzati merged commit 209e727 into main Jun 29, 2026
4 checks passed
@mattiamanzati mattiamanzati deleted the fix-generated-stable-push-ref branch June 29, 2026 08:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant