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 to think of making
> this migration again.  Although I don't have a lot of time to work on it, I
> would like to see it done.  There is an old attempt here:
>
>  https://github.com/DavidAspinall/ProofGeneral
>
> but it didn't get updated and indeed we could do a better job with the
> user names.  I'll take a look at your attempt soon (which tool did you
> use?).
>
> I agree that we probably need to set a cut-off date and disconnect the old
> CVS repo, the sync options don't look robust.  What I could most do with
> help is converting the packaging/publishing tools to use the github repo.
> (The web pages also badly need replacing but I'm not sure if anyone would
> have the stomach to do that?)
>
> I'm slightly wary of needing to manage merge requests so I thought of
> using a GitHub organisation for this to share the job and to host a central
> repo.  Hence:
>
>  https://github.com/ProofGeneral
>
> If anyone on this list would like to join, please tell me your GitHub user
> name.
>
>  - David
>
>
> On 20/04/2015 19:29, Clément Pit--Claudel wrote:
>
>> Hi Pierre and David (and proofgeneral-devel),
>>
>> There were talks a while ago on the mailing list about a migration to
>> git. I think this would be really cool. I experimented with various export
>> options, and came up with the repo at
>> https://github.com/cpitclaudel/proof-general/ . The problem with the
>> process that I used is that it makes it hard to incrementally track changes
>> (we would need to migrate once and for all).
>>
>> Most of the history seems to have been preserved just fine, but it would
>> be nice to map CVS usernames to proper names and emails; the authors in the
>> CVS tree seem to be [assia, crr, cxl, da, djs, fionam, gklein, hhg,
>> joheras, lego, makarius, mark, markus, monnier, patrl, pier, proofgen, pxc,
>> sberghof, tews, tms, weber]. Is there a list of names and emails somewhere
>> matching these usernames?
>>
>> It would be great to get feedback on the history as recorded in
>> https://github.com/cpitclaudel/proof-general/ ; also, if a migration was
>> eventually decided, I could help with the process. One reason for migrating
>> to Git and hosting on Github would be lowering the barrier of entry to new
>> contributors: many of the changes that I made in my company-coq plugin
>> could in fact be ported to proof-general. It could also allow for
>> simplified distribution of extensions and updated versions, via emacs'
>> package system.
>>
>> Clément.
>>
>>
> _______________________________________________
> ProofGeneral-devel mailing list
> ProofGeneral-devel@inf.ed.ac.uk
> http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
> --
> 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