To put into perspective, that was in 2014 :D There were no branch protections, and git was even harder to use. Plus everyone was new at git, obviously (we started in 2013 with mercurial, which was still a legit thing to do, and switched to git).
Yeah, these days stopping force pushes is a checkbox (default?) in GitHub.
Or drop table|database or delete from. To _nearly_ lose data it took multiple clueless engineers and not detecting the issue for months.
I wonder how Diversion handles operations that possibly delete data. Whats their solution?