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 > 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. >> > >
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
