Useful Git commands

Branches

• list all branches (incl. remotes)

git branch -a

• master

  remotes/origin/14.2

• switch to a branch you never checked out before, eg. above 14.2, and set up tracking

git branch --track <branch> origin/<branch>

• switch to branch existing on your local repo

git checkout <branch>