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

[Florian Haftmann]

Hi all,

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!

What is the proper way of making this known to the operators of heptapod?

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/49310986/attachment.sig>