[isabelle-dev] AFP hosting

Tobias Nipkow nipkow at in.tum.de
Mon Aug 26 10:13:40 CEST 2019

Gerwin, thanks for your balanced review of options.

On 26/08/2019 02:36, Klein, Gerwin (Data61, Kensington NSW) wrote:
> There is another option for the AFP: we could host on github and use the mercurial git plugin [https://hg-git.github.io] to work with it as if it was a mercurial repo. I don’t have much experience with how stable that option is, but it would be free and it would be easy on account management.
> If it works reliably, people can also choose freely what client they want to use (hg or git). We’d stay on monotonic pushes as policy, so no change to current practice, only different background storage.

Sounds very reasonable to me.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190826/badc8440/attachment.bin>

More information about the isabelle-dev mailing list