github seems to be really flaky right now and it's probably NOT because I accidentally DoS'd them by repeatedly checking out 33 gigabytes of repos.
probably.