Studyon Minte9.com
Git




Push undo




// push $ git commit -a -m "test undo" $ git push origin master // reset commit $ git reset --soft HEAD^1 // soft: will keep your modification in index, but remove it from commited // push again (force) $ git push origin master -f
 


http://christoph.ruegg.name/blog/git-howto-revert-a-commit-already-pushed-to-a-remote-reposit.html