Works fine for me. Manuel
On 13/02/2021 17:28, Florian Haftmann wrote: >>> 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 > > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev >
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
