[git] Undoing a 'git push'