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

[Florian Haftmann]

Now its gone… everything works fine.

Sorry for the noise.

	Florian

Am 27.05.21 um 15:08 schrieb 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
> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 

-------------- 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/b45edbd4/attachment.sig>