Qual è la differenza tra i comandi git push e git pull, e in quali casi si applicano ciascuno di essi?

I comandi git push e git pull servono per sincronizzare il repository locale con quello remoto, ma operano in direzioni opposte:

• git push — invia i tuoi commit locali al repository remoto. Usato quando vuoi pubblicare le tue modifiche affinché altri possano vederle e utilizzarle.

• git pull — scarica le modifiche dal repository remoto e le unisce automaticamente con il tuo branch corrente. Si utilizza per aggiornare il repository locale con le ultime modifiche di altri sviluppatori.

Esempio di utilizzo:

git pull origin main  # ottenere le ultime modifiche dal branch main
# ... apportare modifiche ...
git add .
git commit -m "Aggiunta di una nuova funzione"
git push origin main  # inviare le proprie modifiche al branch main

In questo modo, git pull aiuta a sincronizzare la copia locale con quella remota, mentre git push permette di condividere le proprie modifiche con il team.