We never do anything with GITHUB_REPO_DEFAULT anymore. The brute force in github_initialize should honor it.
GitHub Pull Request #199