Pull via SSH: remote: bash: /home/hg/gitlab-shell/bin/gitlab-shell: No such file or directory
(I’m filing this what I believe to be an »incident« at my best knowledge, but don't hesitate to tell me if there is a better place or procedure to report this.)
Since some time after Thu Feb 11 14:14:53 2021 I cannot access repositories at foss.heptapod.net any longer.
Doing
hg pull -u
yields
pulling from ssh://hg@foss.heptapod.net/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!
Similarly
ssh hg@foss.heptapod.net
yields
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
The problem seems to be inherent to my personal account (mail florian.haftmann@informatik.tu-muenchen.de) – colleagues accessing the same repository do not experience problems.
In the last fews days I exchanged my SSH keys in the account settings, which might have triggered the issue, but this is speculative.