[isabelle-dev] Problem with the AFP repository at heptapod

[Gerwin Klein]

> On 15 Feb 2021, at 04:03, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> 
> Signed PGP part
> 
> Am 14.02.21 um 09:13 schrieb Florian Haftmann:
>>>> What is the proper way of making this known to the operators of heptapod?
>>> 
>>> I am not sure. Maybe via certain areas of the website https://heptapod.net or
>>> even https://foss.heptapod.net/heptapod/heptapod/-/issues
>> 
>> See now https://foss.heptapod.net/heptapod/heptapod/-/issues/425
> 
> This is now resolved, seemingly a configuration problem when uploading
> ssh keys.
> 
> Those guys really react fast.

That's pretty impressive. I'm glad this worked out.

Cheers,
Gerwin
-------------- 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/20210214/c1f1ae02/attachment.sig>