feat: merging a release-labeled PR is the release #48

Merged
dan-claude-bot merged 10 commits from feat/release-on-merge into main 2026-07-19 17:12:10 +00:00
Showing only changes of commit e533e86322 - Show all commits

View file

@ -40,6 +40,9 @@ permissions:
# scope): the decide step's label read (commits/<sha>/pulls) and the bump
# fallback's `gh pr create --label`.
pull-requests: write
# ...and the --label on that fallback PR rides the ISSUES API (labels.yml
# grants the same pair for the same reason).
issues: write
jobs:
release: