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 2e5cf1959671d167e92848c973cdace5@postgresql.org
Whole thread Raw
In response to Re: Install github app to automatically close PRs on github mirror  (Dave Page <dpage@pgadmin.org>)
Responses Re: Install github app to automatically close PRs on github mirror  (Dave Page <dpage@pgadmin.org>)
List pgsql-www
On 2019-07-12 00:28, Dave Page wrote:
<snip>
> As I noted, the only way to do that is to have the config file be in 
> each
> individual repo on which you want the bot to run, rather than globally.
> That would mean committing the .github directory to the main source 
> tree
> :-(

Could we instead fork the code that runs, and have that do the things we
need?

Coming from the viewpoint of "we have an app already running at the
appropriate time, it just needs to operate a bit differently".

+ Justin



pgsql-www by date:

Previous
From: Dave Page
Date:
Subject: Re: Install github app to automatically close PRs on github mirror
Next
From: Dave Page
Date:
Subject: Re: Install github app to automatically close PRs on github mirror