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

[Florian Haftmann]

> 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
>