To be clear: GitHub is the proprietary layer. It’s not open or open source at all.

GitHub will still tell you to go to the command line for the tricky stuff, like merge conflicts. Maybe those are less vital for most educational use cases, but they will come up.