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

2015-09-21 Thread Erik Martin-Dorel
Hi Clément, That's awesome! Thanks a lot for this migration and for sharing the detail of the steps you had to follow... Will clone and test the repo right now. Cheers, Erik Le lundi 21 septembre 2015 à 00:32 -0400, Clement Pit a écrit : > Hi folks, > > Exciting news! Proof-General has just

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

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

2015-04-25 Thread Clément Pit--Claudel
Hi David list, David: Have you had time to look at my attempt to migrate to git? My username on github is cpitclaudel. List: I had a quick look at options to migrate trac tickets to GitHub. There seems to exist solutions, but nothing too robust. There hasn't been loads of activity on trac in

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

2015-04-20 Thread Jason Gross
Regarding the usernames, the accepted way to do this in git is to have a .mailmap file, a la https://github.com/coq/coq/blob/trunk/.mailmap. On Mon, Apr 20, 2015 at 3:49 PM, David Aspinall david.aspin...@ed.ac.uk wrote: Hello Clément, all, This is a very timely message! I have indeed started

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

2015-04-20 Thread Clément Pit--Claudel
One more advantage of moving to MELPA as our distribution system is that we can register mmm as a dependency, instead of packaging it ourselves. On 04/20/2015 03:49 PM, David Aspinall wrote: Hello Clément, all, This is a very timely message! I have indeed started to think of making this