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

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