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

Posted by fission6 in #github at 2020-01-14T14:00:45Z

i am experiencing some issue where when I create a PR its showing 28 files in the diff and has a few extra files I wasn't expecting, the local diff shows everything correctly -- whats the deal, is github doing something odd with diffs
+ [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