Difference between git revert and git reset: When to use which? · ORA·tech