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”.