+1 Regards Julian
On Thu, Mar 1, 2018 at 11:37 AM, Stefan Seifert <[email protected]> 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
