Another thing to emphasize if you're teaching programming to students: Git ≠ GitHub. The decentralized nature means one could work on their own thing without messing up what's pushed to the repository.
I've gotten chewed out in prior projects for "deleting others code" in a refactor because of this and branches not being part of teaching Git.
Heck, teach branches too for that matter. It may seem confusing but it'll eliminate confusion in the long run.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!