./clone.sh
Which will copy all the repos with the convention githubID/reponame
- tracking them all here in case people did not give sufficient permissions to all organizers
Repos are derived from the submissions
from: https://docs.google.com/forms/d/1FU6CCrNWDTm86AKoDN1jJJkap_a3koKt4RIx-JT4zts/edit
You should see all submissions unless you made some recent changes to the form
./sanity-check.sh
Script which will delete all submissions checkouts
./clean.sh