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

[Florian Haftmann]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210213/b8abdf63/attachment-0001.sig>