I can't find exact documentation but [this area of settings looks promising](https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/managing-repository-settings/managing-the-push-policy-for-your-repository) I flagged this as `enhancement`, but it could also take a label like `meta` since it's about the actual repository, not the code in it
I can't find exact documentation but this area of settings looks promising
I flagged this as
enhancement, but it could also take a label likemetasince it's about the actual repository, not the code in it