Why are we endorsing github in this context?

No need to advertise for GitHub... it has no bearing on the quality of
the system or the content of the projects. Let's note be
GitHub... riders.
;-)