Closed AndyScherzinger closed 8 years ago
It is already protected, but you still can do normal pushes. Only force pushes are not allowed. Beside that we could enable LGTM bot here too and add this as status check before a PR is allowed to be merged.
That would certainly be a solution I think.
Should work now. Please test it :)
@mar1u5 and @jospoortvliet I just pushed and committed to master directly by accident. So I think the master should be a protected branch, enforcing PRs like we do in the source code repositories.