[Jensson]

Linux doesn't use github. They use git, not github. The question was if a competitor buys the self hosted github, not whether they use some other git solution.