[isabelle-dev] AFP hosting
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...
Size: 5581 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev