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
> >>>
> >>> but it didn't

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, weber]. Is there a list

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

[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 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, 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 
>> mi

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

[Clément Pit--Claudel]

Hey Pierre,

That sounds like a great idea. I think the MELPA package might be a bit of a 
big task for now though, especially since PG vendors mmm-mode, which won't fly 
nicely with the MELPA people :) But let's do this migration.

David, can you make me an admin of the PG organization on GitHub? Can you or 
others help me with the name mapping below?

assia
crr
cxl
da David Aspinall
djs
fionam
gklein
hhg
joheras
lego
makarius
mark
markus
monnier Stefan Monnier
patrl
pier Pierre Courtieu
proofgen
pxc
sberghof
tews
tms
weber

Cheers,
Clément.


On 09/14/2015 12:00 PM, 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, 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 p

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

[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, 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

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

[David Aspinall]

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).

I think your suggestion for Trac is sensible.  We might leave it up but
make it read only, perhaps.

I've made a team for PG developers on GitHub, Clément you are invited,
anyone else please let me know your GitHub username.

 - 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.
>>>
>>
>>
> 

-- 
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 & 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

[Erik Martin-Dorel]

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

- Forwarded message from Erik Martin-Dorel  -

> Date: Mon, 20 Apr 2015 23:59:55 +0200
> From: Erik Martin-Dorel 
> To: David Aspinall 
> Cc: Clément Pit--Claudel , 
> proofgeneral-devel@inf.ed.ac.uk, Pierre Courtieu 
> 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

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

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

[Clément Pit--Claudel]

Hi Jason,

I think this is mostly useful as a way to avoid rewriting history to fix 
usernames; in this case, though, we can fix the usernames as part of the 
conversion process; cvs2git includes a facility for that (which I demonstrated 
in the repo that I build by mapping "da" to "D. A. ").

Clément.

On 04/20/2015 04:46 PM, Jason Gross wrote:
> 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  > 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.
> 
> 



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

[Clément Pit--Claudel]

Hi David and all,

I used cvs2git, part of the cvs2svn package. The migration was made a bit 
trickier by the fact that I didn't have rsync access to the repo, so I had to 
use cvsclone to retrieve a coppy first. I've attached my migration notes to 
this email.

I am not too familiar with the packaging side at all; one thing we could 
consider as we do this Git migration is hosting PG on MELPA; this seems to work 
well for my company-coq plugin (https://github.com/cpitclaudel/company-coq/). 
The idea is that an emacs package (installable via `package-install-file`) gets 
auto-generated from the git repo every few hours, and gets hosted on MELPA, a 
third-party package archive. This makes installation of PG essentially platform 
independent, and makes it easier to deploy updates and bugfixes. An added 
benefit is that it allows other emacs plugins to register a dependency on 
ProofGeneral, so that installing them automatically installs PG as well.

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.
>>
> 
> 
* Get a copy of the full repo

** Download and compile cvsclone

   wget https://www.samba.org/ftp/tridge/rtc/cvsclone.l
   flex cvsclone.l && gcc -Wall -O2 lex.yy.c -o cvsclone

** Clone the CVS repo locally

   cvsclone -d :pserver:a...@cvs.inf.ed.ac.uk:/disk/cvs/proofgen checkout 
ProofGeneral

** Move it out of the cvsclone directory

   mkdir cvs-repo
   mv cvsclone/ProofGeneral/ cvs-repo/CVSROOT

** Make a backup

   tar cvzf cvsroot.tar.gz cvs-repo/CVSROOT/

* Import the repo into git

** Install and setup cvs2svn

   sudo apt-get install cvs2svn

** Migrate the previously obtained clone

   cvs2git --options=cvs2git.options

** Import the dumps into a git repo

   mkdir git-repo && cd git-repo && git init .
   cat ../cvs2git-tmp/git-{blob,dump}.dat | git fast-import
   git reset --hard
   git gc --aggressive


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 
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

[David Aspinall]

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.

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

[Hendrik Tews]

Hi,

thanks a lot for taking the initiative!

Clément Pit--Claudel  writes:

> changes (we would need to migrate once and for all).

I haven't contributed for a while and I am unsure if I will find
time in the future, therefore I don't know if I am eligible to
take part in the discussion. However, if I were, I would suggest
to give everybody a last chance to commit to cvs until, say, May
11 and move then everything to git and take the cvs repo offline.
In the unlikely case that David is not participating in this
discussion (and that we therefore cannot take CVS offline), I
suggest that we try to reach an agreement among the contributors
of the last 2 years. And then somebody with write permission
makes a last CVS commit to delete all the files there, except for
a README pointing to the git repo.

> would be nice to map CVS usernames to proper names and emails; the

Some email addresses are in Makefile.devel in the DEVELOPERS
variable. weber is Tjark Weber , I believe.

> It would be great to get feedback on the history as recorded in

I would suggest to move to git even if the history is completely
broken, therefore I won't check it.

Bye,

Hendrik
This email and any attachments thereto may contain private, confidential, 
and/or privileged material for the sole use of the intended recipient. Any 
review, copying, or distribution of this email (or any attachments thereto) by 
others is strictly prohibited. If you are not the intended recipient, please 
contact the sender immediately and permanently delete the original and any 
copies of this email and any attachments thereto.
___
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel