Package: git Version: 1:1.8.4.3-1 Severity: wishlist Tags: upstream 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) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
