Branch protection rules

[valentinoli]

I'd like to suggest we set up a branch protection rule, at least setting "Require a pull request before merging" for the master branch

See:
https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/managing-a-branch-protection-rule

Apparently, by default a branch protection rule disables force-pushes to all matching branches and prevents them from being deleted