Description
We never do anything with GITHUB_REPO_DEFAULT anymore. The brute force in github_initialize should honor it.
Attachments
Issue Links
- links to
We never do anything with GITHUB_REPO_DEFAULT anymore. The brute force in github_initialize should honor it.