doc: convert fetch pull push to synopsis style#2002

jnavila wants to merge 3 commits intogitgitgadget:mastergitgitgadget/git:masterfrom

jnavila:doc_git_fetchjnavila/git:doc_git_fetchCopy head branch name to clipboard