[isabelle-dev] Problem with the AFP repository at heptapod

[Christian Sternagel]

Dear Florian,

this is a long shot, but recently I had some problems with SSH keys due 
to my OS (Linux, Fedora 33) changing crypto policies (see [0]). As a 
result SSH handshakes failed to work on some servers (like 
bitbucket.org). If this would be the problem, using "ssh -v", you should get

   send_pubkey_test: no mutual signature algorithm

somewhere in your output.

cheers

chris

[0] 
https://www.reddit.com/r/Fedora/comments/jhxbdh/no_ssh_public_key_auth_after_upgrade_to_fedora_33/

On 2/13/21 6:10 PM, Florian Haftmann wrote:
>> Works fine for me.
> 
> I guess something strange is wrong with my ssh key.
> 
> This is what I get for a plain ssh attempt:
> 
>> $ ssh hg at foss.heptapod.net
>> PTY allocation request failed on channel 0
>> bash: /home/hg/gitlab-shell/bin/gitlab-shell: No such file or directory
>> Connection to foss.heptapod.net closed.
> 
> Cheers,
> 	Florian
> 
>>
>> Manuel
>>
>>
>> On 13/02/2021 17:28, Florian Haftmann wrote:
>>>>> pulling from ssh://hg@foss.heptapod.net/isa-afp/afp-devel
>>>>>
>>>>> yields
>>>>>
>>>>>> pulling from ssh://hg@foss.heptapod.net/isa-afp/afp-devel
>>>>>> remote: bash: /home/hg/gitlab-shell/bin/gitlab-shell: No such file or directory
>>>>>> abort: no suitable response from remote hg!
>>>>
>>>> It works for me right now. Maybe it was just a consequence of some recent updates.
>>>
>>> Still the same behaviour.  Even more, a plain hg clone fails to.  And,
>>> not surprising, a push also.
>>>
>>> I’ll wait a little bit before taking any measures.
>>>
>>> The only thing I changed recently is the SSH key.
>>>
>>> Do others also experience problems or is everything running smooth?
>>>
>>> Cheers,
>>> 	Florian
>>>
>>>
>>> _______________________________________________
>>> isabelle-dev mailing list
>>> isabelle-dev at in.tum.de
>>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>>>
>>
>>
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>