Restoring Git force push from GitHub without the commits locally
dieter.plaetinck.be