+ [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. 182736

Posted by jhass in #github at 2020-06-24T20:29:37Z

that might just be UI optimization, as they never did any actual releases: https://github.com/NixOS/patchelf/releases (I went to "11 tags", then "releases")
+ [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?