Minor improvements to git doc

One explanation:

`git push -u origin branch` is a shortform of `git push --set-upstream origin branch`. This automatically sets up tracking.