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

On Mon, Jun 17, 2019 at 2:12 PM Dave Page <dpage(at)pgadmin(dot)org> wrote:

>
>
> On Mon, Jun 17, 2019 at 12:31 PM Daniel Gustafsson <daniel(at)yesql(dot)se>
> wrote:
>
>> > On 24 May 2019, at 18:07, Andres Freund <andres(at)anarazel(dot)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.
>>
>
> Done.
>
>

Ugh. Can't we make it figure out which repo it's filing against? And
actually send the notice about the pg repo if it's to the pg project and a
separate notice for pgadmin, instead of the "if this was for pgadmin,
ignore what I just wrote and go over here instead"?

//Magnus