+ [2020-02-18T19:44:08Z] nedbat jsatk: https://github.com/cli/cli/issues/312#issuecomment-582529012
+ [2020-02-18T19:44:20Z] nedbat jsatk: it's confusing, and github seems oddly ok with just having two things.
+ [2020-02-18T19:44:51Z] jsatk Thanks.
+ [2020-02-18T19:45:01Z] jsatk Looks like it doesn't work on enterprise either. https://github.com/cli/cli/issues/273
+ [2020-02-18T19:45:05Z] jsatk Gonna stick with hub for now.

message no. 177105

Posted by escherial in #github at 2020-02-18T08:01:13Z

that's why i'm surprised that it's goofing up with my machine and github...let me check my case sensitivity setting, one sec
+ [2020-02-19T14:21:16Z] dman777 hello, I am switching from gitlab to github. Is it possible to style the color of the PRs of the differences like gitlab offers? I mean the color and background
+ [2020-02-19T14:40:08Z] dmlloyd no but you can use labels
+ [2020-02-19T14:41:51Z] nedbat dman777: maybe this? https://github.com/collections/github-browser-extensions (sorry, I don't know what gitlab offers)
+ [2020-02-19T14:46:51Z] dman777 nedbat: thanks. How would I use this? https://github.com/StylishThemes/GitHub-Dark Or would I have to host my own github repo to use it?
+ [2020-02-19T14:49:30Z] nedbat dman777: there's an installation section in the readme...