Podes explicar o que acontece ao executar o comando push no Git?

O comando git push é usado para enviar commits locais do seu ramo local para o repositório remoto. Ao executar git push, o seguinte acontece:

1. O Git verifica quais commits no ramo local não estão no ramo remoto.
2. Esses commits são enviados para o servidor remoto.
3. O repositório remoto atualiza seu ramo, adicionando os novos commits.

Assim, push sincroniza as alterações com o repositório remoto, tornando-as acessíveis a outros desenvolvedores.

Exemplo:

git push origin main

Enviar o ramo local main para o repositório remoto chamado origin.