Fix changelog categorization and enhance script (#3955)

* Fix categorization of PR #3949 in CHANGELOG.md

* Enhance changelog.py to error on uncategorized PRs

* Update skill to propose breaking changes to user
This commit is contained in:
Ludovico Magnocavallo
2026-05-10 19:15:16 +02:00
committed by GitHub
parent 019d4143c1
commit 5d57658e36
4 changed files with 27 additions and 11 deletions

View File

@@ -392,6 +392,14 @@ def main(token, changelog_file='CHANGELOG.md', bump=None, exclude_pull=None,
exclude_pull))
logging.info(f'number of pulls: {len(pulls)}')
pull_groups = group_pulls(pulls)
if pull_groups.get(None):
print("Error: Found uncategorized PRs (missing 'on:' label):")
for pr in pull_groups[None]:
url = f"https://github.com/{ORG}/{REPO}/pull/{pr.id}"
print(f"- #{pr.id}: {pr.title} -> {url}")
raise SystemExit(
"Please apply an 'on:' label to these PRs on GitHub and re-run the script."
)
upgrade_notes = [pr for pr in pulls if pr.upgrade_notes]
rel_changes = format_release(pull_groups, upgrade_notes, release_as,
release_to, release_from, date_to, date_from)