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

On Mon, Jun 17, 2019 at 1:29 PM Magnus Hagander <magnus(at)hagander(dot)net> wrote:

> 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"?
>

Only by putting the config in the individual repo from what I can see. And
that's even more ugh.

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company