Eu estou tentando empurrar para o repositório git do cygwin, mas em vão. Isso costumava funcionar. Eu recebo
$ git push
ssh: Could not resolve hostname prooftheory: Name or service not known
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
Agora, meu arquivo ssh-config é legível para mim
-rwxrwxr--+ 1 user Tartományfelhasználók 230 Dec 10 2015 /cygdrive/c/Users/user/.ssh/config
e contém
Host phd
HostName bitbucket.org
IdentityFile ~/.ssh/id_rsa
IdentitiesOnly yes
User git
Host prooftheory
HostName bitbucket.org
IdentityFile ~/.ssh/pt_rsa
IdentitiesOnly yes
User git
.git / config contém, entre outras coisas:
[remote "origin"]
url = ssh://git@prooftheory/gergely_/prooftheory.git
fetch = +refs/heads/*:refs/remotes/origin/*
Eu posso pingar o bitbucket.org. . O que estou perdendo aqui?
EDITAR
link
diz que o cygwin pode obter informações de configuração ssh de algum outro lugar, mas não está claro como eu posso configurar o git para usar ~ / .ssh / config. Eu copiei essa configuração para ~ / .ssh / ssh_config, mas isso não ajudou. Infelizmente, o ssh -vvv não escreve qual arquivo de configuração ele lê.