[isabelle-dev] [ExternalEmail] AFP hosting
Klein, Gerwin (Data61, Kensington NSW)
Gerwin.Klein at data61.csiro.au
Mon Aug 26 11:04:01 CEST 2019
> There is another option for the AFP: we could host on github and use the mercurial git plugin [https://hg-git.github.io]
We could of course also stay on bitbucket with git backend. That would mean people don’t have to sign up again. I had this urge to leave the platform, because they are dropping support so annoyingly, but that’s not really necessary.
More information about the isabelle-dev