Hi Clément, That's awesome! Thanks a lot for this migration and for sharing the detail of the steps you had to follow...
Will clone and test the repo right now. Cheers, Erik Le lundi 21 septembre 2015 à 00:32 -0400, Clement Pit a écrit : > Hi folks, > > Exciting news! Proof-General has just been migrated to its new home: > https://github.com/ProofGeneral/PG . > > A few things: > > * It would be very helpful for people with more PG experience to have a quick > look at the repo. Please let me know about issues quickly, so I can promptly > fix them. > * I have attached my migration notes, my cvs2git configuration, as well as > the relevant logs to this email, in case someone is curious about the process. > * I could not push to https://github.com/ProofGeneral/ProofGeneral, as I do > not have access to that repo (David, you made us admins, not owners). David, > could you mark me as an owner of that repo, too, to avoid similar issues in > the future? > > Since the migration is not incremental, the CVS repo should be made read-only > as soon as possible; meanwhile, please do not commit to it, as these commits > would be lost. Then, unless major issues are found with the migration, I > suggest retiring the CVS repo in about two weeks. > > David: I can migrate the website to Github as well if you give me read access > to the corresponding CVS repo (though I probably won't do it before next > week-end). > > Cheers, > Clément. > > On 09/18/2015 10:36 AM, Clément Pit--Claudel wrote: > > 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 <clement....@gmail.com>: > >>>> 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. -- É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
