Significance: patch
Type: dev
Comment: This PR updates repository tooling and doesn't require a changelog entry.