Annullare delle modifiche ad un file

Torniamo nel nostro branch master così git checkout master. Ora apportate una modifica ad un file qualunque. Poi includetelo nel tracciamento git add . Prima di eseguire il commit ci accorgiamo di aver commesso un errore e vogliamo annullare le modifiche al file. Lanciamo questo comando git reset HEAD prova.txt. In questo caso abbiamo spostato il file sullo stato Unstaged, cioè i cambiamenti non vengono tracciati. Ora dobbiamo lanciare questo comando per eliminare definitivamente ogni modifica al file git checkout prova.txt.