Re: Savannah bug tracker disabled?

[Fred Kiefer]

> Am 04.11.2019 um 06:45 schrieb Gregory Casamento <greg.casamento@gmail.com>:
> 
> On Sun, Nov 3, 2019 at 6:40 PM Riccardo Mottola <riccardo.mottola@libero.it> 
> wrote:
> > But the project had to stay on savannah, it was never agreed to move 
> > anything except the code. Git would also allow in the feature a more a 
> > painless "move out".
> 
> This is a misrepresentation of the discussion which occurred.  Nowhere was it 
> discussed that the project "had to stay on savannah."  Strictly speaking it 
> still is.   It just points to github.  It is confusing to split it as you 
> seem to suggest.

Sorry, I have to disagree on this point. I was present in the Dublin meeting 
where we discussed the migration to GitHub and we explicitly decided to leave 
the bug tracking on savannah. There should be even some results from this 
meeting where these decisions should be documented. Ivan already gave the 
explanation for these decision in his reply. I still don’t see a technical need 
to revert the decision on hosting the bug tracker in savannah.
I also remember writing from time to time that GitHub is not our official bug 
system and pointing people over to savannah. Nobody disagreed with those mails.

If you, Greg, want to revert that decision, you should have started a 
discussion that at least involved the active GNUstep contributors. That is true 
even if you do not remember this decision at all. How about just reverting that 
step and we all will forget about this accident?

Fred