The kernel is just mirrored on GH, which is why they want PRs and bug reports sent to their mailing list.