Restrict who can push to matching branches in GitHub

• https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/managing-protected-branches/about-protected-branches#restrict-who-can-push-to-matching-branches

See also

• Branch, MR, git branch, Managing a branch protection rule in GitHub