Open goaaats opened 1 year ago
A PR merge should be undoable via "bleatbot, revert" if merged by accident
Should that only be executable from certain users? What if a troll decides to start running the command on random PR's?
A PR merge should be undoable via "bleatbot, revert" if merged by accident