#729910 git push --undo

Package:
git
Source:
git
Description:
fast, scalable, distributed revision control system
Submitter:
Jonathan Nieder
Date:
2013-11-18 19:48:16 UTC
Severity:
wishlist
#729910#5
Date:
2013-11-18 19:44:43 UTC
From:
To:
After fat-fingering a push, it would be nice to have a command like
"git push --undo origin" to rewind refs to their previous values.

From a question on #git:

 DolphinDream | how do i undo the last push ? (assuming noone fetched latest push)