• https://stackoverflow.com/questions/171550/find-out-which-remote-branch-a-local-branch-is-tracking

tags | change the remote branch name

• https://stackoverflow.com/questions/30590083/how-do-i-rename-both-a-git-local-and-remote-branch-name

git show HEAD^:full/path/to/file/from/top/dir/of/the/repository

See also:

• https://stackoverflow.com/questions/1395445/viewing-a-deleted-file-in-git - I got the answer from here. It also contains a few other alternate solutions.

git grep -i --all-match -e '\^.*\^' -e '|.*|'

git config user.name "Kamaraju S. Kusumanchi"
git config user.email "kamaraju@gmail.com"

git pull --rebase --autostash -v origin