github-scripts Originally written in Bash but converted to Python. Scripts that are used to pull and push student / team GitHub Enterprise repositories.