Re: Install github app to automatically close PRs on github mirror

> On 24 May 2019, at 18:07, Andres Freund <andres@anarazel.de> wrote:

> On 2019-04-17 15:55:36 -0700, Andres Freund wrote:
>> I think the postgres github mirror should install an application that
>> automatically closes PRs. As there's no better way :(
>>
>> I found https://github.com/dessant/repo-lockdown/ , which seems
>> suitable. Only requires read/write permissions for issues/PRs, and
>> permission to read .github/lockdown.yml. It can be configured in a
>> separate .github repository.
>>
>> As an example, here's the config:
>> https://github.com/anarazel/.github/blob/master/.github/lockdown.yml
>> and an example PR
>> https://github.com/anarazel/postgres/pull/1
>
> Ping?

Seconding the above and re-pinging.