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.