Omit `red-knot` PRs from the changelog (#11666)

## Summary

This just ensures that PRs labelled with `red-knot` are automatically
filtered out from the auto-generated changelog (which we then manually
finalize anyway).
This commit is contained in:
Charlie Marsh 2024-05-31 19:18:53 -04:00 committed by GitHub
parent 312f6640b8
commit b80bf22c4d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -87,7 +87,7 @@ major_labels = [] # Ruff never uses the major version number
minor_labels = ["breaking"] # Bump the minor version on breaking changes
version_tag_prefix = "v"
changelog_ignore_labels = ["internal", "ci"]
changelog_ignore_labels = ["internal", "ci", "red-knot"]
changelog_sections.breaking = "Breaking changes"
changelog_sections.preview = "Preview features"