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.