Honestly, how is GitHub anti-educational once you get past the fact that several students set up a Gitlab server and learned from it. That's a one time benefit.