List of useful commands for the git command line interface
$ git config --system core.longpaths true
$ git reset --hard
$ git pull
$ git reset --soft HEAD~1
$ git reset --hard HEAD~1
$ git checkout master
$ git pull
$ git merge origin/master
$ git checkout <feature-branch>
$ git merge master
$ git push