When you create a GitHub release, it has a feature to auto-generate "release notes" which list all the PR's belonging to a Release. But how does it know which PR's belong to a Release?
I thought it would be something like: All the PR's from the tagged commit you supplied when creating the Release, back to the the last commit when a Release was created
But what we are seeing is if I create two different tags at the same commit, and create two separate GitHub releases, each using one of those tags, each Release includes the same PR's. I would expect the last Release created to show no PR's because no commits were added between those two back-to-back Releases.