Hi Erik,

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

Best wishes,

 - David

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

ProofGeneral-devel mailing list

Reply via email to