Para enviar o commit para o repositório no GitHub, primeiro a Gabi utilizou git push main. Depois de adicionada como colaboradora ela usou git push - main.
Qual a diferença entre os dois e quando devem ser usados?
Solucionado
Para enviar o commit para o repositório no GitHub, primeiro a Gabi utilizou git push main. Depois de adicionada como colaboradora ela usou git push - main.
Qual a diferença entre os dois e quando devem ser usados?
Oi Joanevan! Tudo certo?
No seu caso, parece que houve um equívoco na transcrição dos comandos. O importante é lembrar que, para enviar suas alterações para o GitHub, você precisa especificar tanto o repositório remoto quanto a branch. Sendo assim o comando correto, e o que foi executado em aula foi o git push origin main.
Espero ter ajudado e bons estudos!
Muito Obrigada!