Restoring accidental git force push overwrite on GitHub if you don't have the needed commits locally 14 Nov 2016