Commit e push: due passaggi diversi
Il commit registra le modifiche nella cronologia locale. Il push manda i commit al repository in rete. Fino al push il lavoro resta solo sul proprio computer.
Si può fare qualche commit e un push solo, più tardi.
In Visual Studio Code il pulsante Sincronizza fa il push e insieme scarica le modifiche presenti su GitHub.