They hosted it on GitHub. Not stored the source there. Hosted it. Besides, I would say that teaching people how to use version control is good. But there are l

They hosted it on GitHub. Not stored the source there. Hosted it. Besides, I would say that teaching people how to use version control is good. But there are lots of non-GitHub solutions. Prefer those for students! Teach them the fundamentals.