Last active
June 28, 2022 20:38
-
-
Save DevoKun/f9d1653d16a91226c15b96f5f561432c to your computer and use it in GitHub Desktop.
Revisions
-
DevoKun revised this gist
Jun 15, 2020 . 1 changed file with 1 addition and 1 deletion.There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -1,5 +1,5 @@ git pull # Pull first or lose ANY commits upstream git branch -m master main # Rename branch locally echo echo "Change GitHub default branch to 'main'." -
DevoKun renamed this gist
Jun 13, 2020 . 1 changed file with 0 additions and 0 deletions.There are no files selected for viewing
File renamed without changes. -
DevoKun created this gist
Jun 13, 2020 .There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode charactersOriginal file line number Diff line number Diff line change @@ -0,0 +1,12 @@ git pull git branch -m master main # Rename branch locally echo echo "Change GitHub default branch to 'main'." echo echo "Is GitHub Default Branch 'main'?" echo read -p "Press ENTER to continue" echo git push origin :master # Delete the old branch git push --set-upstream origin main # Push the new branch, set local branch to track the new remote