Boa noite. Quando fiz o rename do repositorio local da ana, de origin para analocal, diferente do professor que fez rename origin local, quando fiz o git pull analocal master, tive um erro. Quado fiz igual ao professor e fiz o rename para local, funcionou de boa. É obrigatório que o repositorio local tenha o mesmo nome do outro repositorio local?
Olá Rodrigo, tudo bem com você?
Peço desulpa pela demora em lhe responder.
Fico feliz que tenha conseguido resolver o conflito que surgiu. O instrutor utilizou o mesmo nome apenas a título de boas práticas, para manter um padrão, mas não é obrigatório que um repositório local tenha o mesmo nome de outro repositório local. O erro apresentado, possivelmente pode ter sido gerado por algum conflito ao utilizar o remote, mas não pelos nomes distintos de repositórios diferentes.
Caso tenha mais alguma dúvida vou estar a sua disposição. Abraços e bons estudos!