Great news but my first thought was that it's hard enough for juniors to grasp the difference between git and github. Now they will be even more confused... :]
I have never really grokked the concept of git to push or pull, commit or diff the code that I write. Tried to convince myself a few times that is best practise from the industry. I still tgz my source code before I intend to make substantial change.
Github for me is simply a repo of open source code that I can inspect before I use someone else library.