I don’t understand where in that comment you believe I suggested that the Gnome team should have chosen GitHub. Most likely because I made no suggestion.

Please try to be more careful with how you approach reading comments.