Hi David et al, I'll do the migration of the CVS repo this week-end, then. Hopefully I don't run into trouble.
Cheers, Clément. On 09/18/2015 05:54 AM, David Aspinall wrote: > Hi Pierre/all, > > Sorry for delay replying, I was away then returned but now very busy > with start of term... > > Have made a new Admin team now with you and Clément as members. > > BTW, a mapping of names->emails is in the Makefile somewhere, although > it may be incomplete (try "make ChangeLog"). > > If we're going to switch to Github properly I'd like to switch off the > cvs server and then update the webpages, would you be able to help with > the web page updates too? There is another repo that I can add to GitHub. > > - David > > > On 14/09/2015 17:00, Pierre Courtieu wrote: >> Hi pg dev! >> >> Trying to wake up this thread 5 months later. >> >> Coq-8.5 is not yet released but its beta version is already quite >> spread and used. IMHO it is the right time for a release of PG. >> >> I suggest that Clément performs the migration to github now and that >> we make a release quickly from git. The best would be an elpa (or >> melpa) package release + a tarball. >> >> David is it ok for you? >> >> Best regards, >> Pierre >> >> >> >> >> >> >> >> 2015-04-28 14:36 GMT+02:00 Clément Pit--Claudel <[email protected]>: >>> On 04/28/2015 04:53 AM, David Aspinall wrote: >>>> Hello Clément, >>>> >>>> Sorry I haven't looked in detail yet, hope soon. Thanks for sending the >>>> tips of what you did. I want to try again to get the names right and >>>> maybe some other minor surgery (looking at reposurgeon for that but >>>> haven't tried it yet). >>> >>> No problem, thanks for the quick response! >>> cvs2git has a mapping of cvs usernames to git usernames, so it should just >>> be a matter of finding the names and emails of each PG developer. >>> >>>> I think your suggestion for Trac is sensible. We might leave it up but >>>> make it read only, perhaps. >>> >>> That sounds great. >>> >>>> I've made a team for PG developers on GitHub, Clément you are invited, >>>> anyone else please let me know your GitHub username. >>> >>> Great, thanks! >>> >>>> - David >>>> >>>> On 26/04/2015 02:01, Clément Pit--Claudel wrote: >>>>> Hi David & list, >>>>> >>>>> David: Have you had time to look at my attempt to migrate to git? My >>>>> username on github is cpitclaudel. >>>>> >>>>> List: I had a quick look at options to migrate trac tickets to GitHub. >>>>> There seems to exist solutions, but nothing too robust. There hasn't been >>>>> loads of activity on trac in the last few years though, so I'm not sure >>>>> if such a migration is really needed. And (as opposed to CVS) there is no >>>>> need to retire Trac immediately after the migration. >>>>> >>>>> Clément. >>>>> >>>>> 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
