> Works fine for me. I guess something strange is wrong with my ssh key.
This is what I get for a plain ssh attempt: > $ ssh [email protected] > PTY allocation request failed on channel 0 > > > bash: /home/hg/gitlab-shell/bin/gitlab-shell: No such file or directory > > > Connection to foss.heptapod.net closed. Cheers, Florian > > 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 >> > > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
