[Jenkins-infra] Fwd: Request to install Pull Reminders in jenkinsci

Mon Apr 1 17:56:04 UTC 2019

(replies inline)

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 :)

--
GitHub:  https://github.com/rtyler

GPG Key ID: 0F2298A980EE31ACCA0A7825E5C92681BEF6CEA2
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 871 bytes
Desc: OpenPGP digital signature
URL: <http://lists.jenkins-ci.org/pipermail/jenkins-infra/attachments/20190401/f30141ee/attachment.asc>