Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Although we want this branch protected eventually, we need to unproctect it for now so that we can delete it, and thus allow a GitHub org admin to _rename_ the default branch to master -- they can't do this if the branch already exists.
- Loading branch information