All articles in "Git" 2017 February 20, 2017 | Git Change case to lowercase for committed files 2015 February 25, 2015 | Git Delete a commit on your remote January 5, 2015 | Git Reverting a single file