Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Problem to push to AFP at heptapod


view this post on Zulip Email Gateway (May 27 2021 at 13:09):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi all,

currently I get

$ ssh://hg@foss.heptapod.net/isa-afp/afp-devel
pushing to ssh://hg@foss.heptapod.net/isa-afp/afp-devel
remote: remote:
remote: remote:
========================================================================
remote: remote:
remote: remote: Internal API error (502)
remote: remote:
remote: remote:
========================================================================
remote: remote:
abort: no suitable response from remote hg!

Somebody else experiencing similar problems?

Cheers,
Florian
OpenPGP_signature

view this post on Zulip Email Gateway (May 27 2021 at 14:38):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Now its gone… everything works fine.

Sorry for the noise.

Florian
OpenPGP_signature

view this post on Zulip Email Gateway (May 27 2021 at 21:51):

From: Gerwin Klein <kleing@unsw.edu.au>
The site was upgraded to a new version yesterday, which probably included some downtime.

Cheers,
Gerwin
signature.asc


Last updated: Mar 04 2024 at 12:30 UTC