You might have to click on the Watch button on the repo.��
On Sunday, April 5, 2015, kilon alios <kilon.alios@gmail.com> wrote:Strangely enough it does not notify me, probably need to change something in my github settings.On Sun, Apr 5, 2015 at 6:39 PM, Dmitri Zagidulin <dmitri@zagidulin.net> wrote:Thanks, Gaurav! It is now merged.I don't think one needs to send an email to the mailing list, though, for PRs. Github usually notifies anybody who's watching the repository, when new PRs are made.��On Sun, Apr 5, 2015 at 9:28 AM, Gaurav Singh <grvanm.coder@gmail.com> wrote:Kindly review the pull request.I have made a few corrections in the chapter Syntax in a Nutshell.Link to the pull request: https://github.com/SquareBracketAssociates/UpdatedPharoByExample/pull/30