On 12/07/2016 10:29 PM, Jonathan M Davis wrote:
I definitely like having them, because it makes it clear when something has
been merged, which isn't really the case with github's notifications (not
without reading them all individually anyway), and in that respect, I'm
annoyed that the dmd list stopped getting notifications. So, maybe I'm in
the minority, but I will miss these notifications if they go away.
As an alternative, you can enable github notifications for a repo and mails for notifications, see https://github.com/settings/notifications.
You'll receive mails like this.

Merged #684.

Reply to this email directly or view it on GitHub.