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! What is the proper way of making this known to the operators of heptapod? Cheers, Florian
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
