<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 12/07/2016 10:29 PM, Jonathan M
Davis wrote:
</div>
<blockquote cite="mid:4706150.ZjMBujT0ua@lyonel" type="cite">
<pre wrap="">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.</pre>
</blockquote>
As an alternative, you can enable github notifications for a repo
and mails for notifications, see
<a class="moz-txt-link-freetext" href="https://github.com/settings/notifications">https://github.com/settings/notifications</a>.<br>
You'll receive mails like this.<br>
<br>
<p>Merged <a
href="https://github.com/D-Programming-Language/dlang.org/pull/684"
class="issue-link" title="Issue 9655: Functions with identical
bodies are allowed to be merged by compiler.">#684</a>.</p>
<p>—<br>
Reply to this email directly or <a
href="https://github.com/D-Programming-Language/dlang.org/pull/684#event-186444180">view
it on GitHub</a>.<img src="cid:part3.0AD0F547.D9154693@dawg.eu"
shrinktofit="true" alt="" height="1" width="1"></p>
<br>
-Martin<br>
<br>
</body>
</html>