Explore >> Select a destination
|
You are here 
|
amanhimself.dev | ||
| | | | |
scottgruber.me
|
|
| | | | | Here are the steps to replace master with main branch.This is a simple fix to avoid any negative connotations inherit in master:slave terminology. Although in the history of git the etymology of master was in the sense as master:copy. Move the master branch to main with the command: git branch -m master main Using the argument -m will transfer all of the commit history on the 'master' branch to your new 'main' branch so nothing gets lost. Push the newly-named main branch to GitHub (assuming that is your ... | |
| | | | |
stevenmortimer.com
|
|
| | | | | Follow these easy 5 steps to change the default branch name in your repo to 'main' instead of 'master' to show support for removing divisive language in tech. | |
| | | | |
ericlathrop.com
|
|
| | | | | Since most places are renaming the default git branch from master to main I want to do the same to reduce friction. I want to rename all my default branches in all my projects in one afternoon so I can retrain my muscle memory and not have to remember which project uses which branch name. | |
| | | | |
gustedt.wordpress.com
|
|
| | | [The wordpress markdown inclusion does a very bad job, it seems, there have been some idiotic formatting errors. I hope that these are fixed, now.] A years-long effort led by Kayvan Memarian and Peter Sewell from Cambridge University, UK, Martin Uecker from Graz University of Technology, Austria, and myself (from ICube/Inria, France) has guided the... | ||
