Some of our deploys use CircleCI instead, but they were still broken because they couldn't checkout from Github.