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 <https://github.com/D-Programming-Language/dlang.org/pull/684>. — Reply to this email directly or view it on GitHub <https://github.com/D-Programming-Language/dlang.org/pull/684#event-186444180>. -Martin
signature.asc
Description: OpenPGP digital signature
_______________________________________________ phobos mailing list [email protected] http://lists.puremagic.com/mailman/listinfo/phobos
