[Sorry for re-posting; Forwarding the list using the good subscription e-mail.]
----- Forwarded message from Erik Martin-Dorel <[email protected]> ----- > Date: Mon, 20 Apr 2015 23:59:55 +0200 > From: Erik Martin-Dorel <[email protected]> > To: David Aspinall <[email protected]> > Cc: Clément Pit--Claudel <[email protected]>, > [email protected], Pierre Courtieu <[email protected]> > Subject: Re: [PG-devel] Migrating Proof-General to Git > > Dear all, > > Great news! I also think that migrating to GitHub will be a plus for > ProofGeneral. > > Just to mention it, regarding the web pages, there happens to be a > builtin support for publishing the web pages of a GitHub organization: > cf. https://help.github.com/categories/github-pages-basics/ > and https://pages.github.com/ > > Kind regards, > > Erik Martin-Dorel > > Le lundi 20 avril 2015 à 20:49 +0100, David Aspinall a écrit : > > 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] > > 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. > > -- > Érik Martin-Dorel > [email protected] > http://erik.martin-dorel.org/ ----- End forwarded message ----- -- Érik Martin-Dorel [email protected] http://erik.martin-dorel.org/ _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
