This repository was archived by the owner on Jun 5, 2025. It is now read-only.
Repository navigation
This repository was archived by the owner on Jun 5, 2025. It is now read-only.
Cannot clone the public repo of an org without granting full org access #236
Description
Dev Home version
0.503.261.0
Windows build number
10.0.22621.2361
Other software
No response
Steps to reproduce the bug
- On your account, have an org you own with a public repo on it. Make that membership public.
- Link Dev Home to GitHub, but don't grant access to that org.
- Try to clone the repo through Dev Home, via the "accounts" tab
Expected result
I expected to find that repo in the accounts tab, since it is public, and I am publicly member of that organization
Actual result
The repo is missing.
Included System Information
No response
Activity
vineeththomasalex commentedon Dec 13, 2023
This was a GitHub access problem where having org repo access causes you to lose access to the org's public repos.
David Bennett (@dkbennett) Did we have a way to fix this by using a public-only client for public repositories?
dkbennett commentedon Jan 10, 2024
Public client could be used for public repositories as a fallback (this logic exists already), however the rate limit on public client is extremely low. I doubt more than one widget for a repository using the public client can be used without hitting the rate limit.
The rate limit for an authenticated user is 5000 requests per hour. The rate limit for unauthenticated user is 60 per hour. Two orders of magnitude difference. It's very easy to eat up rate limit for the public (unauthenticated) client.
sylveon commentedon Jan 10, 2024
Not trying to use it for widgets, just want to clone it.
vineeththomasalex commentedon Jan 22, 2024
Darren Hoehna (@dhoehna) Do we have the same logic for Repo cloning?