“Git undo” or the art of rolling back