Github’s guide on Git Web Development https://github.com/blog/2019-how-to-undo-almost-anything-with-git related http://stackoverflow.com/questions/4114095/how-to-revert-git-repository-to-a-previous-commit