Re: GNUbg development build

[Philippe Michel]

On Sat, Jul 15, 2023 at 12:22:28AM +0100, Richard Buckle wrote:

> To the CVS repo? Correct me if I’m wrong, but I thought gnubg had 
> migrated to Git and a repo on GitHub.
> 
> Genuine question.

Not everything is comited to CVS yet. And the question is perfectly 
legitimate, but, although the matter was discussed in the list a few 
months ago nothing has actually be done.

There are a few gnubg repos on github but these are snapshots (sometimes 
with third party changes). Anyway, when we switch to git I think the new 
repo should be at GNU savannah first. A possible migration to github or 
elsewhere would come later.

I played a bit with conversion tools and I have a working (as far as I 
can see) local git repo but I'm not familiar with these conversions 
(and, frankly, neither with git) but it is important to get it right 
before publishing it.