It would be so great to be able to act differently (i.e. redirecting
to *different*
lists) depending on whether the sender is a bot or a human being.
This used to be considered a feature (cf. "robots.txt" for web crawlers).

Gilles

Le ven. 16 oct. 2020 à 14:36, Rob Tompkins <[email protected]> a écrit :
>
> I’m a +0.5 to a notifications (GitHub + Jira) list. This seems reasonable to 
> me.
>
> -Rob
>
> > On Oct 16, 2020, at 2:43 AM, Mark Thomas <[email protected]> wrote:
> >
> > On 15/10/2020 19:30, Gary Gregory wrote:
> >>> On Thu, Oct 15, 2020 at 1:57 PM Bernd Eckenfels <[email protected]>
> >>> wrote:
> >>>
> >>> Before we do that, I need help. I am considering to ignore or unsubscribe
> >>> the commit mailing list. Which is IMHO not a good thing (from the point of
> >>> security reviews). However I cannot keep up with dependable suggestions
> >>> (and don’t have an easy way to filter - and frankly I don’t want to spent
> >>> any time on finding one)
> >>>
> >>> So can we turn the notifications off or at least send them to a different
> >>> mailinglist?
> >>>
> >>
> >> Dependabot emails are sent from [email protected], so we could ask
> >> infra to create a list called... [email protected]?
> >
> > [email protected] would be the standard name.
> >
> > Mark

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to