Re: [PG-devel] Migrating Proof-General to Git

[Erik Martin-Dorel]

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

[Erik Martin-Dorel]

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

[David Aspinall]

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

[Clément Pit--Claudel]

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

[Clément Pit--Claudel]

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

[Jason Gross]

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

[Clément Pit--Claudel]

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