command line tool to help teachers use GitHub in their classrooms