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

[Manuel Eberl]

Works fine for me.

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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5574 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210213/7d70c57f/attachment.bin>