He didn't just try to undo it, he `git push -f`'d over it.

Well that is a different thing. At that point he couldn't claim that it was about saving his energies for more "worthwhile" project goals.