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

[Makarius]

On 13/02/2021 09:46, Florian Haftmann wrote:
> 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!

It works for me right now. Maybe it was just a consequence of some recent updates.


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

I am not sure. Maybe via certain areas of the website https://heptapod.net or
even https://foss.heptapod.net/heptapod/heptapod/-/issues

https://heptapod.net/category/announcements.html has some announcements that
correlate with in-line messages when doing hg pull recently: some days ago
there was an announcement of some update + downtime.


Generally, the Heptapod / Octobus / Clevercloud is rather small and run by a
few smart people, see also https://octobus.net/#people mainly in France.


	Makarius