git push is reversible, too: http://news.ycombinator.com/item?id=2079967 http://news.ycombinator.com/item?id=2079967 (and note my correction below that simplif

git push is reversible, too: http://news.ycombinator.com/item?id=2079967 http://news.ycombinator.com/item?id=2079967 (and note my correction below that simplifies things)