Linux kernel is not even run on github. Somehow people manage to find its source and contribute to it.