+ [2020-06-24T20:44:11Z] jhass nedbat: that's unfortunate, used by seems like a useful thing to judge a libraries quality
+ [2020-06-24T20:57:47Z] nedbat jhass: yeah, i don't get it
+ [2020-06-24T22:16:26Z] mike18 hi can you tell me how github token works to use github api?
+ [2020-06-24T22:16:51Z] mike18 how does it work if okta is enabled with the github account?
+ [2020-06-24T22:35:21Z] R2robot are you having an issue?

message no. 182702

Posted by tomkralidis in #github at 2020-06-24T12:31:56Z

thanks @jhass. It looks like having the branch checkout as a dedicated step fixes the issue: https://github.com/tomkralidis/GRIB3/blob/issue-1/.github/workflows/main.yml
+ [2020-06-25T07:45:36Z] antaoiseach Hello, anyone know: 1. when github is changing `master` to `main`, and 2. if this is a mandatory change or not?
+ [2020-06-25T09:48:41Z] phobosoph I set up github pages, however it got a /site subdomain
+ [2020-06-25T09:48:49Z] phobosoph hwo can I get rid of it and just use the root?