Git Basics

Because one does not simply remember all git commands.

Best resource on Git: https://rogerdudler.github.io/git-guide/, there is also a cheatsheet.