Merging a release-labeled PR should BE the release — auto-tag + publish on merge (box#96 twin) #47

New issue

Closed

opened 2026-07-19 15:13:48 +00:00 by dan-claude-bot · 0 comments

dan-claude-bot commented

2026-07-19 15:13:48 +00:00

(Migrated from github.com)

rig twin of heavy-duty/box#96 — full design and rationale there.

Summary: the agent's ceremony PR carries the release label and the bumped VERSION; the maintainer's merge is the ship decision. A pull_request: closed workflow (merged + labeled) asserts, fail-loud: non--dev version → version changed in this PR (the -dev interlock) → changelog top section matches and extracts via release-lib.sh → no existing tag/release. Then, same job: API-tag the merge commit + publish with the extracted notes. Existing tag-push path stays as manual fallback.

rig specifics: version in the VERSION file; no assets (source tarball is the package); changelog_section from .github/scripts/release-lib.sh is the extractor to reuse.

🤖 From the release-ceremony retro with the operator.

rig twin of heavy-duty/box#96 — full design and rationale there. Summary: the agent's ceremony PR carries the `release` label and the bumped `VERSION`; the maintainer's merge is the ship decision. A `pull_request: closed` workflow (merged + labeled) asserts, fail-loud: non-`-dev` version → version changed in this PR (the `-dev` interlock) → changelog top section matches and extracts via `release-lib.sh` → no existing tag/release. Then, same job: API-tag the merge commit + publish with the extracted notes. Existing tag-push path stays as manual fallback. rig specifics: version in the `VERSION` file; no assets (source tarball is the package); `changelog_section` from `.github/scripts/release-lib.sh` is the extractor to reuse. 🤖 From the release-ceremony retro with the operator.

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: heavy-duty/rig#47

No description provided.