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

Posted by jhass in #github at 2020-06-04T09:11:10Z

Github generally prettyfies full internal URLs, so https://github.com/org/repo/issues/1 will be rendered as #1 inside repo and org/repo#1 outside it. There might be some support for parsing the second style into a link, I never tried
+ [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: