[isabelle-dev] [ExternalEmail] AFP hosting

[Klein, Gerwin (Data61, Kensington NSW)]

> 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.

Cheers,
Gerwin