Github change default branch from master to main July 8, 2019 16 32 64 128 Github change default branch name from main to master