Only switch to the github api when the access token exists #225

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Open

jsimonrichard wants to merge 1 commit into lean-dojo:main from jsimonrichard:simon/github-ssh

Contributor

jsimonrichard commented Mar 5, 2025

For those (like myself) who use ssh keys instead of a github access token, LeanDojo breaks when trying to trace/use private repos.

This PR fixes that.


          Only switch to github api when the access token exists

2808e2d

Member

yangky11 commented Mar 14, 2025

Thanks for these PRs! I'll take a look when I get a chance.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet