Worth pointing out though, it's far easier to keep a github mirror of a git repository up to date and correct than from other VCSes -- so even though people wanting to send GCC PRs on GitHub will be disappointed, it's still a win for discovery and searching.