Git

Git Overview

First Section

TODO

Git Commands

Workflows

Github: Rename default branch

On Github select Settings  General → Default branch and rename default branch.

On each client update local copies:

$ git branch -m master main
$ git fetch origin
$ git branch -u origin/main main
$ git remote set-head origin -a