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?