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,