+ [2020-01-14T20:30:41Z] R2robot Sometimes it takes 2 minutes, sometimes it takes 24 hours. :)
+ [2020-01-14T20:30:51Z] R2robot That's just the nature of IRC these days.
+ [2020-01-14T20:31:10Z] neeasade R2robot: I feel you, thanks.

message no. 176404

Posted by tona in #github at 2020-01-14T15:47:57Z

hello everyone, is there one way to retrieve from user_id in github using SSO, is there one api where I could get that info :)
+ [2020-01-15T13:49:16Z] littlepython hi i need some help with circleci
+ [2020-01-15T13:49:27Z] littlepython the build is always queued from last night
+ [2020-01-15T14:24:25Z] maxel is there a way to search all forks of a repository to see if someone used a particular object in their code?
+ [2020-01-15T19:23:14Z] cousteau Hi! How does Github know how to highlight files? It seems to have incorrectly detected a Verilog file as Coq (both use .v extensions)
+ [2020-01-15T19:23:57Z] cousteau Also the project info says it uses 20% Coq, but it's all actually Verilog