Congratulations Github team! One thing that worrying to me is that you include an 'undo' button that rewrites history. This is bad, as it could affect everyone

Congratulations Github team! One thing that worrying to me is that you include an 'undo' button that rewrites history. This is bad, as it could affect everyone downstream of you. That button should be turned into a 'revert' button.