Summary

Create a workflow that comments on PRs when they are included in a release, notifying contributors that their changes are now available.

Context

We previously added apexskier/github-release-commenter in #1750, but removed it in #1758 because:

• It comments on both PRs and linked issues (via "Fixes #XXX")
• This required issues: write permission
• Commenting on issues felt unnecessary - the PR author is the one who wants notification

Requirements

• Comment on PRs included in a release with the release tag/link
• Do not comment on linked issues
• Should handle the comparison between current and previous release tags

Options

1. Roll our own workflow using GitHub's GraphQL API to find PRs between releases
2. Fork apexskier/github-release-commenter and add a skip-issues option
3. Find an alternative action that only comments on PRs

_{AI Disclaimer}