Come si può annullare un commit errato che uno sviluppatore ha pushato in un repository remoto?