04/12/2018 :

• pull
• push
• commit
• checkout
• rebase
• reset
• revert
• log
• remote
• set-url

• https://stackoverflow.com/questions/19032296/how-to-use-git-revert

• https://dev.to/neshaz/when-to-use-git-reset-git-revert--git-checkout-18je

• https://sethrobertson.github.io/GitFixUm/fixup.html

• http://sethrobertson.github.io/GitBestPractices/

• https://stackoverflow.com/questions/19032296/how-to-use-git-revert

• https://backlog.com/git-tutorial/rewriting-history/git-revert/

• https://hackernoon.com/git-merge-vs-rebase-whats-the-diff-76413c117333

• https://nathanleclaire.com/blog/2014/09/14/dont-be-scared-of-git-rebase/

• https://www.cyberciti.biz/tips/howto-linux-unix-bash-shell-setup-prompt.html

• git log --oneline
• git log --pretty=format:"%h - %an, %ar : %s" (ar indicates relative author time of commit)
• git log --pretty=format:"%h - %an, %ai : %s" (ai indicates exact author time of commit)