Git
August 17, 2018
How to remove diverged local changes from a branch using git
January 15, 2018
How to rename branches and commits in git that have been pushed to the remote
November 30, 2017
How I manage my dotfile configuration across multiple development machines using git
November 23, 2017
How to resolve “Could not execute editor” error observed when using git command line.