Skip to content

Consolidate release-note labels onto GitHub defaults#130

Merged
frazane merged 1 commit into
mainfrom
ci/label-cleanup
Jun 6, 2026
Merged

Consolidate release-note labels onto GitHub defaults#130
frazane merged 1 commit into
mainfrom
ci/label-cleanup

Conversation

@frazane

@frazane frazane commented Jun 6, 2026

Copy link
Copy Markdown
Owner

Cleans up the label set introduced with the release-notes automation. The custom labels fix / feature / docs duplicated GitHub's standard bug / enhancement / documentation, so this standardizes on the defaults and points the automation at them.

What changed

  • release.yml: Bug fixes now keys off bug, New features off enhancement, Documentation off documentation (dropping the redundant fix / feature / docs synonyms).
  • labeler.yml: the docs path rule now applies the documentation label.
  • Pull request template: the release-note label list matches the categories above.

Notes

  • The duplicate labels fix / feature / docs are being deleted from the repo as part of this cleanup.
  • Existing PRs are being re-labeled to match (documentation instead of docs), and the breaking label is being applied to the Python 3.11 and tensorflow-backend removals so they surface correctly in the next release notes.

@github-actions github-actions Bot added docs ci CI, tooling, repo automation labels Jun 6, 2026
@frazane frazane removed the docs label Jun 6, 2026
@frazane frazane merged commit f0ea797 into main Jun 6, 2026
27 checks passed
@frazane frazane deleted the ci/label-cleanup branch June 6, 2026 21:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci CI, tooling, repo automation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant