Solved an interesting #GitHub repo organisational issue. I wanted to introduce dev/stage/prod branching rules like every decent project and also restrict as makes sense. The dev branch rules are easy: linear history, only allow via PRs, review/owners/etc. Done. 🧵