Rollup fixes

Changes summary:

- Bug fix: Include only the pull requests marked as "rollup" when creating a rollup
- Use commit comments to save additional information, such as the commit IDs of the PRs
- If one of the PRs advances or force-pushes, test again without the PR (a.k.a. "freshness" check)