Qual è la differenza tra i comandi git push e git pull, e a cosa serve ciascuno di essi?

git push viene utilizzato per inviare le modifiche locali (commit) a un repository remoto. Aggiorna il repository remoto in base allo stato locale. In breve, condividi i tuoi progressi.

git pull viene usato per ottenere le modifiche dal repository remoto e integrarle nel branch locale corrente. È equivalente a eseguire git fetch seguito da git merge. Sincronizza il tuo repository locale con quello remoto.

La differenza riguarda la direzione del flusso di dati: push invia le modifiche dal locale al remoto, pull riceve le modifiche dal remoto al locale.

Esempio di utilizzo di git push:

# Inviare le modifiche al branch main su origin
git push origin main

Esempio di utilizzo di git pull:

# Ottenere le modifiche dal branch main su origin
git pull origin main