Skip to content

docs(release): credit all contributors via an Acknowledgements section#288

Open
pinodeca wants to merge 1 commit into
mainfrom
docs/release-prompt-acknowledgements
Open

docs(release): credit all contributors via an Acknowledgements section#288
pinodeca wants to merge 1 commit into
mainfrom
docs/release-prompt-acknowledgements

Conversation

@pinodeca

@pinodeca pinodeca commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

Summary

Fix the release procedure so release notes credit all contributors, not just first-timers.

Step 5 of prompts/pg_durable-release.md previously kept only GitHub's auto-generated New Contributors block (which lists first-time contributors only) and dropped the What's Changed PR dump — the only place with per-PR authorship. Returning contributors therefore got no credit in the notes.

Changes

  • Fetch the generate-notes output once into a temp file and reuse it.
  • Mine every by @handle from it to build a full thank-you list (deduped, bots like @dependabot/@github-actions stripped).
  • Title the section ## Acknowledgements, not ## Contributors — GitHub auto-renders its own native "Contributors" avatar widget on the release page, so a body heading of the same name produces a duplicate, confusing section (observed on the v0.2.4-rc1 draft).
  • Update the explanatory notes accordingly.

Context

Surfaced while cutting v0.2.4 (tracking issue #286). The v0.2.4-rc1 release notes have already been corrected by hand to use ## Acknowledgements; this PR bakes the fix into the procedure so the final v0.2.4 and future releases get it automatically.

Docs-only change to the release prompt.

Step 5 previously kept only GitHub's auto 'New Contributors' block, which
lists first-time contributors only, so returning contributors got no credit
in the release notes. Fetch the generated notes once and mine every
'by @handle' from the (otherwise dropped) 'What's Changed' dump to build a
full thank-you list, with bots stripped.

Title the section 'Acknowledgements' rather than 'Contributors' so it does
not duplicate GitHub's native 'Contributors' avatar widget on the release
page.
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