Re: GitHub notifications?

[Nicholas Vallely]

No, but it's annoying:)

On Mon, Apr 20, 2020 at 7:48 AM Anthony Baker <aba...@pivotal.io> wrote:

> Hmmm, it looks like GitHub notifications are coming to dev@ instead of
> notifications@.
>
> Did anyone request this change?
>
> Anthony
>
>