Repository navigation
List all repositories in settings instead of the first 200 - #4
Conversation
Thanks for the PR! The motivation makes sense, but we'd rather not merge it as-is because of how it interacts with GitHub's API rate limits. The concern: rate limitsPolling makes one request per selected repo on every refresh (
GitHub's budget for user-to-server tokens is ~5,000 requests/hour, so a user who picks "All" with a large account gets Two smaller side effects:
A possible alternativeKeep 200 as the default, but let users opt out with a setting, e.g. a "Repository list limit" option:
Happy to look at a revised version along those lines. |
Reopening. Closing this was a mistake on my part, sorry about that. My earlier review mixed up two different things: which repos are listed in Settings and which are polled. This PR only changes the list. Polling still happens only for the repos a user selects, and the fallback (nothing selected) is still capped at 200 via Corrections to the earlier comment:
Two minor points remain, but neither blocks this PR and both can be follow-ups:
Thanks for the contribution, and apologies for the noise. |
The 200-repo cap now only applies to the fallback polling used when no repositories are selected. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
With the full list available, "All" can select far more repos than before, so the warning now says how many and that it can hit GitHub's rate limit. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
fd5fb41 to
1f7c00b
Compare
Users with more than 200 accessible repositories couldn't find some of them in Settings. The list now loads every repository; the 200 cap only applies to the fallback polling used when nothing is selected.