I raised https://issues.apache.org/jira/browse/INFRA-16219
to track this. Robert On Mon, 2018-03-05 at 12:00 +0100, Julian Sedding wrote: > +1 > > Regards > Julian > > On Thu, Mar 1, 2018 at 11:37 AM, Stefan Seifert <sseifert@pro-vision. > de> wrote: > > > > > Well, we can always talk to infra about this since they manage > > > this > > > service. I think a good level of comments would be: > > > > > > - comment with link when PR is open > > > - comment with link when PR is merged > > > - comment with link when PR is closed > > > > > > I think we should have as little duplication as possible. > > > > +1 > > > > stefan
