GitHub notifications?

[Anthony Baker]

Hmmm, it looks like GitHub notifications are coming to dev@ instead of 
notifications@.  

Did anyone request this change?

Anthony