Qual é a diferença entre os comandos git push e git pull, e em que casos cada um deles é utilizado?

Os comandos git push e git pull servem para sincronizar o repositório local com o remoto, mas funcionam em direções opostas:

• git push — envia os seus commits locais para o repositório remoto. Usado quando deseja publicar suas alterações para que outros possam vê-las e usá-las.

• git pull — baixa as alterações do repositório remoto e as mescla automaticamente com o seu branch atual. Usado para atualizar o repositório local com as últimas alterações de outros desenvolvedores.

Exemplo de uso:

git pull origin main  # obter as últimas alterações do branch main
# ... fazer alterações ...
git add .
git commit -m "Adicionou uma nova funcionalidade"
git push origin main  # enviar suas alterações para o branch main

Assim, o git pull ajuda a sincronizar a cópia local com a remota, e o git push a compartilhar suas alterações com a equipe.