Github repository rules feature

Stream: general

[Mario Carneiro]

https://github.blog/changelog/2023-04-17-introducing-repository-rules-public-beta/

This might be useful for mathlib, since it has a need for more elaborate branch protection due to its open door write access policy.