Github develop default branch July 8, 2019 16 32 64 128 Github make develop default branch Github set develop as default branch Github default branch develop or master Github default branch main or develop Github change default branch to develop