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