[Sorry for re-posting; Forwarding the list using the good subscription e-mail.]

----- Forwarded message from Erik Martin-Dorel <erik.martin-do...@irit.fr> -----

> Date: Mon, 20 Apr 2015 23:59:55 +0200
> From: Erik Martin-Dorel <erik.martin-do...@irit.fr>
> To: David Aspinall <david.aspin...@ed.ac.uk>
> Cc: Clément Pit--Claudel <clement....@gmail.com>, 
> proofgeneral-devel@inf.ed.ac.uk, Pierre Courtieu <pierre.court...@gmail.com>
> 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
> > 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.
> 
> -- 
> Érik Martin-Dorel
> erik.martin-do...@irit.fr
> http://erik.martin-dorel.org/

----- End forwarded message -----

-- 
Érik Martin-Dorel
erik.martin-do...@ens-lyon.org
http://erik.martin-dorel.org/
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to