We can move the Github announcements to different list if it is too noisy On Wed, May 25, 2016 at 12:48 PM, Matt Post <[email protected]> wrote:
> Does someone know how to turn off the mailing of all github comments to > dev? > > The way I see it, we all have to be on dev, so it should be for people, > not robots. I am getting every comment about three times. > > I would just do it but I don't know how.
