github-batch-processor Run commands on a list of GitHub Repositories, useful for grading in a GitHub Classroom