Documentation: change "gitlink" typo in git-push