Julgue o item seguinte, relativos às ferramentas de gestão de configuração.

No Git, o usuário, para compartilhar um commit com membros de sua equipe de desenvolvimento, deve executar os três passos descritos a seguir: adicionar arquivos da cópia de trabalho à área de staging, usando o comando git add; enviar para seu repositório local, usando o comando git push; e enviar para um repositório remoto compartilhado, usando o comando git checkout.