Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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).
- Loading branch information