script that pushes repo and runs autograder
Primary LanguagePython
No one’s star this repository yet.