3 ms·IMHO, the delete key can still be useful for other developers "contributions".by pjerem 1y agoIMHO, the delete key can still be useful for other developers "contributions".ilc 1y agogit revert works better ;)