Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Problem with the AFP repository at heptapod


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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

https://youtu.be/MBQLL3uCQ4I

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

view this post on Zulip 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

view this post on Zulip Email Gateway (Feb 13 2021 at 16:57):

From: Manuel Eberl <eberlm@in.tum.de>
Works fine for me.

Manuel
smime.p7s

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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: Jul 15 2022 at 23:21 UTC