25 - Chegaste à conclusão que o nome principal não é apropriado para o
repositório remoto do exercício anterior. Qual o comando para mudares o nome
do remoto para origin?
O comando para mudar o nome do repositório remoto para origin é:
$ git remote rename principal origin
Por Diana Nóia