Skip to content

docs: changelog PR-number stamping setup runbook - #194

Merged
crs48 merged 1 commit into
mainfrom
docs/changelog-stamping-runbook
Jun 18, 2026
Merged

docs: changelog PR-number stamping setup runbook#194
crs48 merged 1 commit into
mainfrom
docs/changelog-stamping-runbook

Conversation

@crs48

@crs48 crs48 commented Jun 18, 2026

Copy link
Copy Markdown
Owner

Adds docs/changelog-pr-stamping-setup.md — the one-time GitHub-App setup that activates the merge-time changelog PR-number stamping shipped in #192/#193:

  1. Create a GitHub App (Contents: write), install it on the repo.
  2. Set the CHANGELOG_APP_ID variable + CHANGELOG_APP_PRIVATE_KEY secret.
  3. Add the App to the main ruleset bypass list.

Includes verification steps, troubleshooting, and the PAT alternative. Docs-only → skip-changelog.

🤖 Generated with Claude Code

Step-by-step GitHub-App setup (App ID variable + private-key secret + main
ruleset bypass) that lets stamp-pr-number.yml persist the PR number to source.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@crs48 crs48 added the skip-changelog Exclude this PR from the changelog label Jun 18, 2026
@crs48
crs48 temporarily deployed to pr-194 June 18, 2026 16:33 — with GitHub Actions Inactive
@github-actions

github-actions Bot commented Jun 18, 2026

Copy link
Copy Markdown
Contributor

✓ Changelog fragment found — thanks!

@crs48
crs48 merged commit c1c3a79 into main Jun 18, 2026
1 of 3 checks passed
@crs48
crs48 deleted the docs/changelog-stamping-runbook branch June 18, 2026 16:34
@github-actions

Copy link
Copy Markdown
Contributor

Preview removed for PR #194.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog Exclude this PR from the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant