On 13/02/2021 09:46, Florian Haftmann wrote: > Hi all, > > pulling from ssh://[email protected]/isa-afp/afp-devel > > yields > >> pulling from ssh://[email protected]/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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
