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

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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to