a command line utility for managing student github repositories