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://[email protected]/isa-afp/afp-devel
> pushing to ssh://[email protected]/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
> [email protected]
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
