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

Posted by neper_romain in #github at 2020-06-04T09:24:42Z

nedbat: it seems that there are "raw references" for issues: https://help.github.com/en/github/writing-on-github/autolinked-references-and-urls, so, it would be it.
+ [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: