+ [2020-06-04T21:35:46Z] luke-jr Is there a way to search code on GitHub, but exclude duplicates of the same line?
+ [2020-06-04T22:00:16Z] SunRaycer there was nothing I could see in any of the configs to be able to customize my email notifications that way. it might be per project config...
+ [2020-06-04T22:02:01Z] BtbN I wager it's not a setting at all.
+ [2020-06-04T22:06:36Z] nedbat SunRaycer: github isn't highly configurable: it tends to do the simplest thing

message no. 181799

Posted by neper_romain in #github at 2020-06-04T08:54:14Z

I have a project with multiple GitHub repositories, namely one development (private) repo, share with a few teammates, and one public repo. How can I manage issues on both repos? since they will be assigned the same numbers (they always start from 1). Is it possible to reference issues, pull requests, etc. more accurately than by only their numbers?
+ [2020-06-05T01:33:54Z] peepsalot is there a way to search for issues which *don't* have a specific label
+ [2020-06-05T01:38:33Z] peepsalot oh, just found it. have to do alt+enter on the dropdown, which puts -label:Foo in the search bar
+ [2020-06-05T08:28:58Z] cabang Hey guys. my python3 django pipeline suddenly fails without any actual changes to code.. i'm utilizing github actions..
+ [2020-06-05T08:29:14Z] cabang do anyone have a clue as to what could go wrong? i have my stack trace there: