Skip to content

chore: add release PR labeling and milestone fallback#2311

Merged
seratch merged 1 commit into
mainfrom
chore/release-workflows-tweak
Jan 15, 2026
Merged

chore: add release PR labeling and milestone fallback#2311
seratch merged 1 commit into
mainfrom
chore/release-workflows-tweak

Conversation

@seratch
Copy link
Copy Markdown
Member

@seratch seratch commented Jan 15, 2026

This pull request updates the release PR workflows to apply the project label and X.Y.x milestone derived from the release version, while allowing the workflow to continue when those assignments fail. It adds retry/fallback logic for create/edit flows in .github/workflows/release-pr.yml and a best-effort label/milestone update in .github/workflows/release-pr-update.yml without blocking the job.

@seratch seratch added this to the 0.6.x milestone Jan 15, 2026
@seratch seratch merged commit 729671c into main Jan 15, 2026
9 checks passed
@seratch seratch deleted the chore/release-workflows-tweak branch January 15, 2026 03:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant