Re: [PG-devel] Migrating Proof-General to Git
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: > 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 > >>>
Re: [PG-devel] Migrating Proof-General to Git
Hi David, Le vendredi 18 septembre 2015 à 10:54 +0100, David Aspinall a écrit : > 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. If you are thinking of adding a GitHub repo dedicated to the webpages sources, maybe it would be convenient to host the webpages themselves at GitHub too? Because according to https://pages.github.com/ and https://help.github.com/categories/github-pages-basics/ it would suffice to name this extra repo "proofgeneral.github.io" ... What is your opinion? Kind regards, Erik -- Erik Martin-Dorel https://github.com/erikmd 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
Re: [PG-devel] Migrating Proof-General to Git
Hi Erik, > If you are thinking of adding a GitHub repo dedicated to the webpages > sources, maybe it would be convenient to host the webpages themselves > at GitHub too? Because according to https://pages.github.com/ and > https://help.github.com/categories/github-pages-basics/ it would > suffice to name this extra repo "proofgeneral.github.io" ... > What is your opinion? Sure, maybe this is a better hosting provider than University of Edinburgh, I don't really mind. We could easily redirect from proofgeneral.inf. Erik, I've just invited you to join the admin group, apologies I missed your message from earlier in the year. Best wishes, - David -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. ___ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
Re: [PG-devel] Migrating Proof-General to Git
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: >>> 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,
Re: [PG-devel] Migrating Proof-General to Git
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 ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
Re: [PG-devel] Migrating Proof-General to Git
Regarding the usernames, the accepted way to do this in git is to have a .mailmap file, a la https://github.com/coq/coq/blob/trunk/.mailmap. On Mon, Apr 20, 2015 at 3:49 PM, David Aspinall david.aspin...@ed.ac.uk 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. ___ 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. ___ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
Re: [PG-devel] Migrating Proof-General to Git
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 ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel