We’re using github for several systems courses. Everything we do is off of the command line. So far we’ve noticed everything is essentially through the web interface. Are there any tools that allow you to manage a classroom from the command line? Something that allows us to create and update assignments via CLI?
We would like to be able to download all of the users in an assignment and to sync all of the repos in a single command. We have students do several projects and we need to compile and run them on our machines.
At this point I’m sort of temped to use Google’s repo tool for git to sync everything.