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

Gerwin Klein kleing at unsw.edu.au
Thu May 27 23:51:00 CEST 2021


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 <florian.haftmann at informatik.tu-muenchen.de> 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://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: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20210527/9c167a65/attachment.sig>


More information about the isabelle-dev mailing list