> If you are thinking of adding a GitHub repo dedicated to the webpages
> sources, maybe it would be convenient to host the webpages themselves
> at GitHub too? Because according to https://pages.github.com/ and
> https://help.github.com/categories/github-pages-basics/ it would
> suffice to name this extra repo "proofgeneral.github.io" ...
> What is your opinion?
Sure, maybe this is a better hosting provider than University of
Edinburgh, I don't really mind. We could easily redirect from
Erik, I've just invited you to join the admin group, apologies I missed
your message from earlier in the year.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
ProofGeneral-devel mailing list