>> 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.
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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
