Zulip Chat Archive

Stream: general

Topic: cache-olean and authentication


view this post on Zulip Scott Morrison (Feb 22 2020 at 04:10):

cache-olean is always telling me "Info: No github section found in 'git config', we will use GitHub with no authentication", and then infuriatingly that "API rate limit exceeded for 98.248.251.76. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.)", and I'm condemned to recompiling a branch yet again.

view this post on Zulip Scott Morrison (Feb 22 2020 at 04:10):

Neither of those messages give me the least clue how to set up github authentication.

view this post on Zulip Scott Morrison (Feb 22 2020 at 04:10):

Can we fix this, so cache-olean itself points to some useful piece of instruction?

view this post on Zulip Scott Morrison (Feb 22 2020 at 04:11):

Perhaps as a first step to this, can someone tell me what I'm meant to do?

view this post on Zulip Mario Carneiro (Feb 22 2020 at 04:47):

fwiw I see the same message

view this post on Zulip Scott Morrison (Feb 22 2020 at 05:08):

What does one put in a "github section"?

view this post on Zulip Alex J. Best (Feb 22 2020 at 05:18):

In my .git/config file I have a line
[github] oauthtoken = BLAHBLAH

view this post on Zulip Alex J. Best (Feb 22 2020 at 05:19):

IIRC I did some sleuthing to end up with this, so this may not be the perfect thing but seemed to work. I set up a token on https://github.com/settings/tokens/

view this post on Zulip Rob Lewis (Feb 22 2020 at 09:40):

Note that this will be irrelevant once #2032 and the related scripts land.

view this post on Zulip Patrick Massot (Feb 22 2020 at 09:41):

Is there any reason to delay merging this PR?

view this post on Zulip Patrick Massot (Feb 22 2020 at 09:41):

There are things to discuss of course (how long we keep things), but it's not blocking, right?

view this post on Zulip Rob Lewis (Feb 22 2020 at 09:46):

It can probably be merged as is. Point (2) of my last message will cause occasional CI failures, but not on master and only if you're doing something weird. (1) will be easier to address when the scripts are working, so we can do both at the same time.

view this post on Zulip Scott Morrison (Feb 22 2020 at 16:18):

The generate new token page has a big list of different "scopes" you can select. By default none are set --- does anyone know which one is necessary for cache-olean?

view this post on Zulip Bryan Gin-ge Chen (Feb 22 2020 at 17:30):

I think public_repo should work, but I haven't tested it with update-mathlib specifically.


Last updated: May 13 2021 at 17:42 UTC