Annullare una operazione di push

Eseguiamo qualsiasi modifica sul nostro branch master e poi tracciamo i files con git add . . Ora eseguiamo il commit git commit --m "commit" ed infine il push git push -u origin master. Ora per tornare sui nostri passi eseguiamo git revert HEAD~1 e poi git push origin master.