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. Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
