Completely Remove a File from Pushed git History by Chris Achard