Working around default GitHub branch protection