[Jenkins-infra] Fwd: Request to install Pull Reminders in jenkinsci
R. Tyler Croy
rtyler at brokenco.de
Mon Apr 1 17:56:04 UTC 2019
On Mon, 01 Apr 2019, Baptiste Mathus wrote:
> I would like to allow this. This tool is a nice little tool to help people with
> following up/being reminded about ongoing PRs.
> I didn't allow it yet because I wanted to ask for the permission of the group
> before proceeding.
Sounds reasonable to me!
I hope this helps get pull requests closed or merged :)
GPG Key ID: 0F2298A980EE31ACCA0A7825E5C92681BEF6CEA2
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 871 bytes
Desc: OpenPGP digital signature
More information about the Jenkins-infra