RFR: Add pull request prune functionality

[Robin Westberg]

On Mon, 11 Nov 2019 14:43:10 GMT, Kevin Rushforth <kcr at openjdk.org> wrote:

> On Mon, 11 Nov 2019 14:24:54 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> 
>> Hi all,
>> 
>> Please review this change that adds another mode to the bridgekeeper bot that closes PRs after a configurable period of inactivity.
>> 
>> Best regards,
>> Robin
>> 
>> ----------------
>> 
>> Commits:
>>  - 83c41425: Add pull request pruner bot
>> 
>> Changes: https://git.openjdk.java.net/skara/pull/247/files
>>  Webrev: https://webrevs.openjdk.java.net/skara/247/webrev.00
>>   Stats: 640 lines in 7 files changed: 420 ins; 218 del; 2 mod
>>   Patch: https://git.openjdk.java.net/skara/pull/247.diff
>>   Fetch: git fetch https://git.openjdk.java.net/skara pull/247/head:pull/247
> 
> What is the motivation for doing this? I'm not sure that I would find this a useful behavior.

This will allow stale pull requests to eventually be closed, without manual intervention. The duration can be configured per project (or not enabled at all), as different projects may have different needs.

PR: https://git.openjdk.java.net/skara/pull/247