Re: [PG-devel] Migrating Proof-General to Git

2015-09-18 Thread Erik Martin-Dorel
Hi David, Le vendredi 18 septembre 2015 à 10:54 +0100, David Aspinall a écrit : > Hi Pierre/all, > > Sorry for delay replying, I was away then returned but now very busy > with start of term... > > Have made a new Admin team now with you and Clément as members. > > BTW, a mapping of

Re: [PG-devel] Migrating Proof-General to Git

2015-09-18 Thread David Aspinall
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

Re: [PG-devel] Migrating Proof-General to Git

2015-09-18 Thread Clément Pit--Claudel
Hi David et al, I'll do the migration of the CVS repo this week-end, then. Hopefully I don't run into trouble. Cheers, Clément. On 09/18/2015 05:54 AM, David Aspinall wrote: > Hi Pierre/all, > > Sorry for delay replying, I was away then returned but now very busy > with start of term... > >