GitHub is just a mirror for Linux. We're discussing projects that use GitHub as their primary repository.