Rinominare un file

Per rinominare un file del progetto per esempio il file prova1 eseguite questo comando git mv prova1.txt prova.txt. Poi git add . e poi git commit -m "rinominato prova1" e poi git push -u origin master