IMHO, the delete key can still be useful for other developers "contributions".
git revert works better ;)