Syncthing/master is now a "protected branch" on GitHub

This means force pushes are not allowed (by anyone) and pull requests can only be merged when the required status checks pass:

(If we really need to, people with push access can merge in their local repo and push as they like. But this avoids the accidental merge of unready stuff.)

The required checks are those visible above; “authors”, “fmt”, “lint”, “vet” and our own “build”.


I disabled this again as it actually prevented normal pushes too. At this point I don’t think we need the bureaucracy of a full pull request for every trivial thing.