Re: Migration of bugs from savannah to github -- just asking...

[Fred Kiefer]

What would be the aim of this migration? I don’t expect anybody new to look 
into the old bugs that have accumulated on savannah for over twenty years. So 
this move would only make sense if we wanted to give up on savannah, which you 
write is not your intention. So what benefits would you expect to be the result 
of this?
I am not strongly opposed to this step, I just have plenty of more worthwhile 
tasks to work on.

Fred, just saying

> Am 20.11.2019 um 05:29 schrieb Gregory Casamento <greg.casamento@gmail.com>:
> 
> Hey guys,
> 
> I just realixed... there is a way to download the bugs from savannah.  
> Additionally there is an API for interfacing with the bug system on github.   
> The various ids (for groups or subprojects... gui, base, etc) can be 
> discovered easily.
> 
> If this is something we would like to do, then I can write the script to do 
> the transition.  I may try an initial run on gorm's repo just to test it out. 
>  
> 
> This would not necessarily mean shutting down the bug tracker at savannah... 
> we would just need to keep them in sync.
> 
> Any thoughts?
> 
> Yours, GC
> -- 
> Gregory Casamento
> GNUstep Lead Developer / OLC, Principal Consultant
> http://www.gnustep.org - http://heronsperch.blogspot.com
> http://ind.ie/phoenix/