I've protected the `master` branch: Let's use merge requests instead.
I've protected the master
branch to disallow direct push for everyone (including myself and other owners of this project).
The recommended way of updateing this guide is via a mere request which will be created automatically if you edit a file in the master branch.
One advantage is that there can be no concurrent incompatible changes.
The biggest plus is that while commits ususally go unnoticed by others subscribed to this project, an explicit MR will notify everyone involved and allow for some discussion before merging changes.