Skip to content

improve release_notes.py: filter noise labels and guard against stale GitHub index#8903

Closed
reiabreu wants to merge 2 commits into
masterfrom
improve-release-notes-script
Closed

improve release_notes.py: filter noise labels and guard against stale GitHub index#8903
reiabreu wants to merge 2 commits into
masterfrom
improve-release-notes-script

Conversation

@reiabreu

Copy link
Copy Markdown
Contributor

Summary

  • Skip issues labeled github_actions or skip-changelog from changelog output; filtered issues are logged to stderr so the omission is visible
  • Re-fetch each open issue individually before flagging it as unresolved, working around a known GitHub API inconsistency where the milestone filter can return issues whose milestone was already removed
  • Label automated license-update PRs with skip-changelog so they are automatically excluded from future release notes runs

Test plan

  • Run python3 dev-tools/release_notes.py <milestone_id> and verify github_actions and skip-changelog issues appear in stderr log and are absent from the HTML output
  • Verify the stale-index guard works by checking an issue that has had its milestone removed still does not block the script
  • Trigger or simulate the Update License Files workflow and verify the created PR has both dependencies and skip-changelog labels

🤖 Generated with Claude Code

reiabreu and others added 2 commits July 18, 2026 18:55
… and guard against stale GH index

- Skip issues labeled github_actions or skip-changelog from the changelog output,
  logging them to stderr so the omission is visible
- Re-fetch each open issue individually before flagging it as unresolved, working
  around a known GitHub API inconsistency where the milestone filter can return
  issues whose milestone was already removed
- Label automated license-update PRs with skip-changelog so they are automatically
  excluded from future release notes runs

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@reiabreu

Copy link
Copy Markdown
Contributor Author

Superseded by #8904 with a tighter scope.

@reiabreu reiabreu closed this Jul 18, 2026
@reiabreu
reiabreu deleted the improve-release-notes-script branch July 18, 2026 20:48
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