added link to pages describing git push syntax