Github set different default branch July 8, 2019 16 32 64 128 Github set default branch Github set default branch for pull requests Github set default branch name Github set default branch to master Github set default branch cli