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
• GitHub, GitHub Actions, GitHub Actions Runner, Events, CodeQL, GitHub Desktop, GitHub organization, base permissions, GitHub Copilot, .gitignore, GitHub Codespaces, GitHub Marketplace, GitHub Apps, GitHub Enterprise Server, GitHub CLI (gh), Dependabot, GitHub security, .github/, GitHub code scanning, GitHub Pages, GitHub Packages, GitHub Advanced Security, GitHub Mobile, GitHub Importer, GitHub versions, SSH keys