You might have to click on the Watch button on the repo.��<br><br>On Sunday, April 5, 2015, kilon alios &lt;<a href="mailto:kilon.alios@gmail.com">kilon.alios@gmail.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Strangely enough it does not notify me, probably need to change something in my github settings. <br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Apr 5, 2015 at 6:39 PM, Dmitri Zagidulin <span dir="ltr">&lt;<a href="javascript:_e(%7B%7D,&#39;cvml&#39;,&#39;dmitri@zagidulin.net&#39;);" target="_blank">dmitri@zagidulin.net</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Thanks, Gaurav! It is now merged.<div><br></div><div>I don&#39;t think one needs to send an email to the mailing list, though, for PRs. Github usually notifies anybody who&#39;s watching the repository, when new PRs are made.��</div></div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Apr 5, 2015 at 9:28 AM, Gaurav Singh <span dir="ltr">&lt;<a href="javascript:_e(%7B%7D,&#39;cvml&#39;,&#39;grvanm.coder@gmail.com&#39;);" target="_blank">grvanm.coder@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div>I have made a few corrections in the chapter Syntax in a Nutshell.<br></div>Link to the pull request: <a href="https://github.com/SquareBracketAssociates/UpdatedPharoByExample/pull/30" target="_blank">https://github.com/SquareBracketAssociates/UpdatedPharoByExample/pull/30</a><br></div>Kindly review the pull request.<br></div>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>
</blockquote>