Hi, On Thu, Oct 16, 2014 at 9:38 PM, Konstantin Kolinko <knst.koli...@gmail.com> wrote:
> Just several technical notes, > > > If anyone wants to comment on Github, I think that it is already > possible. I think that it works and the messages are forwarded to the > dev list. > > Unfortunately this is not true. At the moment notifications for comments on a commit in GitHub mirror are being sent only to the committer of this particular commit. > > Best regards, > Konstantin Kolinko > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org > For additional commands, e-mail: dev-h...@tomcat.apache.org > >