Github is more than a Git repository host. It provides other services for coordinating software development as well as a continuous integration service.
No clue at all, just some romantic fantasy I just concocted.
https://www.youtube.com/watch?v=YhDVC7-QgkI
One site that he mentioned was https://kernelci.org/ and the dashboard https://linux.kernelci.org/