Skip to content

Document post-merge GitHub release follow-up - #272

Merged
palewire merged 2 commits into
mainfrom
palewire-document-github-release-follow-up
Aug 20, 2026
Merged

Document post-merge GitHub release follow-up#272
palewire merged 2 commits into
mainfrom
palewire-document-github-release-follow-up

Conversation

@palewire

Copy link
Copy Markdown
Owner

Summary

  • Document the required post-merge release order in AGENTS.md.
  • Make RELEASING.md require an approved tag-triggered package publication before creating the public GitHub Release.
  • Replace the stale CONTRIBUTING.md walkthrough with a pointer to the authoritative checklist.

Validation

  • git diff --check
  • make docs-check
  • Pre-commit hooks and ty passed during commit

Assumptions

  • The existing tag-triggered PyPI workflow remains unchanged; this is procedural guidance, not new automation.
  • Maintainers may use gh or the GitHub UI, but release/tag/package publication actions still require explicit human approval.

palewire and others added 2 commits August 19, 2026 21:08
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@palewire
palewire merged commit 93e64f2 into main Aug 20, 2026
22 checks passed
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