Re: Install github app to automatically close PRs on github mirror - Mailing list pgsql-www

From Justin Clift
Subject Re: Install github app to automatically close PRs on github mirror
Date
Msg-id 9a7f21974edce1ad8472b21d28ebc7cb@postgresql.org
Whole thread Raw
In response to Re: Install github app to automatically close PRs on github mirror  (Andres Freund <andres@anarazel.de>)
Responses Re: Install github app to automatically close PRs on github mirror  (Andres Freund <andres@anarazel.de>)
List pgsql-www
On 2019-04-19 02:27, Andres Freund wrote:
<snip>
> I installed the app into both repositories - because I wasn't sure
> whether it needed the file-path access permission to the
> .github/lockdown.yml even if the .github repo is public.  And I was too
> lazy to experiment ;)
> 
> But it seems to work even without that as long as .github is
> public. I've merged your PR now :P

Cool. :)

Having the "auto-close" message being friendly can make an important
difference in keeping the potential contributor around.

Have seen this personally. :)

+ Justin



pgsql-www by date:

Previous
From: Adrian Klaver
Date:
Subject: Documentation search
Next
From: Andres Freund
Date:
Subject: Re: Install github app to automatically close PRs on github mirror