On 04/11/2019 08:29, Fred Kiefer wrote:
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.
I have an intense personal dislike of Savannah's bug tracker and would believe that having the issue tracker on GitHub makes it easier for occasional contributors to file bugs, but my recollection of this discussion is the same as Fred's: the majority view was to keep the bug tracker on Savannah.
David
