>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
