too many emails

[Matt Post]

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.