Tag: revert a commit in git