Minor improvements to git doc

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