[Release] Notify PRs included in a release (#4077)
Add a `notify-prs` job to the release workflow that comments on each
PR shipped as part of a minor or patch release. Uses huggingface-hub-bot
and skips PRs where the bot already commented.
Co-authored-by: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
