command line tools to help teachers use GitHub in their classrooms