Email Gateway (Feb 13 2021 at 08:46): Email Gateway (Feb 13 2021 at 08:46):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi all,
pulling from ssh://hg@foss.heptapod.net/isa-afp/afp-devel
yields
What is the proper way of making this known to the operators of heptapod?
Cheers,
Florian
signature.asc
Email Gateway (Feb 13 2021 at 11:13):From: Makarius <makarius@sketis.net>
On 13/02/2021 09:46, Florian Haftmann wrote:
Hi all,
pulling from ssh://hg@foss.heptapod.net/isa-afp/afp-devel
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!
It works for me right now. Maybe it was just a consequence of some recent updates.
What is the proper way of making this known to the operators of heptapod?
I am not sure. Maybe via certain areas of the website https://heptapod.net or
even https://foss.heptapod.net/heptapod/heptapod/-/issues
https://heptapod.net/category/announcements.html has some announcements that
correlate with in-line messages when doing hg pull recently: some days ago
there was an announcement of some update + downtime.
Generally, the Heptapod / Octobus / Clevercloud is rather small and run by a
few smart people, see also https://octobus.net/#people mainly in France.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Feb 13 2021 at 11:34):From: Makarius <makarius@sketis.net>
One of these guys is Raphaël Gomès https://octobus.net/#rgomes
He recently had some public attention on the Mercurial mailing list (and other
channels) due to some conference talks about "Rust-ing" or "oxidation" of
Mercurial. Here is a version of the talk delivered in virtual Australia Jan-2021:
https://lca2021.linux.org.au/schedule/presentation/49
https://static.octobus.net/talks/Speeding-up-Mercurial-2021-01-LINUXCONFAU.pdf
Let's see how Mercurial will look like in 1-3 years.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Feb 13 2021 at 16:28):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
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
Email Gateway (Feb 13 2021 at 16:57):From: Manuel Eberl <eberlm@in.tum.de>
Works fine for me.
Manuel
smime.p7s
Email Gateway (Feb 13 2021 at 17:16):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
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 hg@foss.heptapod.net
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://hg@foss.heptapod.net/isa-afp/afp-devel
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!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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Feb 13 2021 at 20:01):From: Christian Sternagel <c.sternagel@gmail.com>
Dear Florian,
this is a long shot, but recently I had some problems with SSH keys due
to my OS (Linux, Fedora 33) changing crypto policies (see [0]). As a
result SSH handshakes failed to work on some servers (like
bitbucket.org). If this would be the problem, using "ssh -v", you should get
send_pubkey_test: no mutual signature algorithm
somewhere in your output.
cheers
chris
[0]
https://www.reddit.com/r/Fedora/comments/jhxbdh/no_ssh_public_key_auth_after_upgrade_to_fedora_33/
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Feb 14 2021 at 08:13):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
See now https://foss.heptapod.net/heptapod/heptapod/-/issues/425
Let’s see.
In the meantime – is there an alternative at least read-only HG
repository of AFP available?
Thanks a lot,
Florian
signature.asc
Email Gateway (Feb 14 2021 at 10:42):From: Makarius <makarius@sketis.net>
The following clones are updated every 10min:
https://isabelle.sketis.net/repos
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Feb 14 2021 at 17:04):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
This is now resolved, seemingly a configuration problem when uploading
ssh keys.
Those guys really react fast.
Cheers,
Florian
signature.asc
Email Gateway (Feb 14 2021 at 23:32):From: Gerwin Klein <kleing@unsw.edu.au>
That's pretty impressive. I'm glad this worked out.
Cheers,
Gerwin
signature.asc
Last updated: Sep 09 2024 at 08:25 UTC