Comment peut-on annuler un commit incorrect qui a été poussé dans un dépôt distant par un développeur?