The site was upgraded to a new version yesterday, which probably included some downtime.
Cheers, Gerwin > On 28 May 2021, at 00:37, Florian Haftmann > <[email protected]> wrote: > > Signed PGP part > 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 >> > > >
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
