Comment by pushpendraw

Rename-instead-of-delete only covers file ops. The same instinct should apply to git force-push, drop table, and anything else with no undo, not just rm.