Eu descobri depois de conversar com os proprietários do código:
- Existe um usuário
anonymous
apenas para fazer o checkout do código. Não é permitido fazer alterações. - Há também os usuários específicos que recebem permissão para fazer alterações. Quando eu estava tentando re-checout o repo, eu inadvertidamente usei um nome de usuário diferente que não foi registrado. Meu erro.
- Então, tudo o que fiz foi definir meu
~/.gitconfig
e conferir o repositório com o nome de usuário correto.