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

[Florian Haftmann]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210527/e0601f78/attachment.sig>