Qual é a diferença entre os comandos git push e git pull, e para que é que cada um deles é usado?

git push é usado para enviar alterações locais (commits) para um repositório remoto. Ele atualiza o repositório remoto de acordo com o estado local. Em termos simples, você compartilha seus avanços.

git pull é usado para obter alterações do repositório remoto e integrá-las na branch local atual. É equivalente a executar git fetch seguido de git merge. Ele sincroniza seu repositório local com o remoto.

A diferença está na direção do fluxo de dados: push envia alterações do local para o remoto, e pull recebe alterações do remoto para o local.

Exemplo de uso de git push:

# Enviar alterações para a branch main no origin
git push origin main

Exemplo de uso de git pull:

# Obter alterações da branch main no origin
git pull origin main