Hi Jason, I think this is mostly useful as a way to avoid rewriting history to fix usernames; in this case, though, we can fix the usernames as part of the conversion process; cvs2git includes a facility for that (which I demonstrated in the repo that I build by mapping "da" to "D. A. <[email protected]>").
Clément. On 04/20/2015 04:46 PM, Jason Gross wrote: > 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 <[email protected] > <mailto:[email protected]>> 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 > [email protected] <mailto:[email protected]> > 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. > >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
