Git: revert to an older commit. Get your index and work tree into the desired state, without changing HEAD. http://stackoverflow.com/questions/4114095/revert-to-a-previous-git-commit