title: What is the difference between "Revert Commit" and "Undo Commit" in IntelliJ IDEA?
body: <p>In IntelliJ Ultimate IDEA 2019.3 (not sure when it was introduced) we have "Revert Commit" and "Undo Commit" options in the Version Control -> Log Tab.</p>
  
  <p><a href="https://i.stack.imgur.com/4QlBn.png" rel="noreferrer"><img src="https://i.stack.imgur.com/4QlBn.png" alt="enter image description here"></a></p>
  
  <p><strong>What is the difference between those two options?</strong></p>