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

Posted by nedbat in #github at 2020-06-04T09:17:39Z

neper_romain: your "one development (private) repo and one public repo" makes it sound like the two repos are the same code? As if you keep the code private until it is ready and then you make it public?
+ [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: