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.
pushpendraw · · focus · HN ↗