https://josh-ops.com/posts/github-delete-branch-protection-rules/