Quick guide on using git revert to safely undo a commit and keep project history intact