git svn não usa necessariamente o proxy HTTP do Git

git fetch funciona, mas git svn fetch não consegue alcançar o servidor. Apesar do prefixo de comando partilhado, a segunda operação fala com um repositório Subversion através de outra pilha de cliente.

Não assuma que uma entrada http.proxy nativa do Git configura essa ligação ao Subversion. Localize a configuração de execução usada pelas bibliotecas do Subversion no ambiente onde o git svn é executado.

A configuração servers do Subversion pode conter:

[global]
http-proxy-host = proxy.example
http-proxy-port = 8080

O nome do anfitrião e a porta são valores separados; a lista de proxies HTTP fornece candidatos para rotas públicas do Subversion permitidas. Os campos da conta de proxy estão separados das credenciais do repositório. As definições de grupos de servidores do Subversion correspondem a nomes de anfitrião, não a caminhos arbitrários do repositório. Trate-os como a interface do Subversion, não como uma grafia alternativa do URL de proxy do Git.

No Windows, o caminho pode ser a surpresa

Um executável nativo do Subversion e uma instalação do git svn podem usar ambientes diferentes e interpretações diferentes do diretório pessoal. Editar a configuração usada por svn.exe não prova que a invocação do git svn a tenha lido.

Registe que executável e que ambiente de bibliotecas estão envolvidos, e depois identifique a localização efetiva da configuração. Evite copiar o caminho de um utilizador para um script de toda a máquina.

Mantenha as contas separadas

O proxy pode autenticar a ligação de saída. O repositório Subversion pode exigir depois outra conta. Um HTTP 407 e um erro de autorização do repositório descrevem fases diferentes.

Se a política recusar o URL ou a rota, use o endpoint aprovado e o regime de acesso. Abrir a interface web do repositório no navegador é apenas uma comparação parcial: pode usar outra conta, outro armazenamento de configuração ou outra rota. O objetivo é uma operação do Subversion bem-sucedida através do intermediário pretendido, não apenas um pedido comum de página web bem-sucedido.