https://mamchenkov.net/wordpress/2016/03/15/useful-git-commands-and-github-integration/
Useful git commands (and GitHub integration)