[git] How to use Git Revert