Per chi non fosse pratico di git: git pull: scarica le modifiche fatte su github fatelo prima di lavorare sul codice per avere la versione più aggiornata git push: invia le modifiche fatte a github fatelo per condividere le modifiche alla fine git add nomefile: aggiunge file a repository git commit: salva progressi e permette di commentarli git commit -m 'testo' :salva modifiche con testo come commento