Quello è normale: dopo aver visto che il commit non era stato inviato, ho rifatto il checkout della cartella per ricominciare da zero… Tra l'altro la cosa che mi ha ingannato è che quando davo il comando git pull dopo aver committato (o creduto di farlo), mi confermava che la working copy era aggiornata, per questo subito ho pensato che la mia modifica fosse stata accettata nel commit.
Ora riprovo da capo…