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

From: Justin Clift <justin(at)postgresql(dot)org>
To: Andres Freund <andres(at)anarazel(dot)de>
Cc: pgsql-www(at)postgresql(dot)org
Subject: Re: Install github app to automatically close PRs on github mirror
Date: 2019-04-19 04:13:12
Message-ID: 9a7f21974edce1ad8472b21d28ebc7cb@postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: 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

In response to

Responses

Browse pgsql-www by date

  From Date Subject
Next Message Andres Freund 2019-04-19 06:28:53 Re: Install github app to automatically close PRs on github mirror
Previous Message Adrian Klaver 2019-04-18 17:36:32 Documentation search