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

From: Justin Clift <justin(at)postgresql(dot)org>
To: Dave Page <dpage(at)pgadmin(dot)org>
Cc: Magnus Hagander <magnus(at)hagander(dot)net>, Stephen Frost <sfrost(at)snowman(dot)net>, Daniel Gustafsson <daniel(at)yesql(dot)se>, Andres Freund <andres(at)anarazel(dot)de>, PostgreSQL WWW <pgsql-www(at)postgresql(dot)org>
Subject: Re: Install github app to automatically close PRs on github mirror
Date: 2019-07-11 15:01:16
Message-ID: 2e5cf1959671d167e92848c973cdace5@postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: 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

In response to

Responses

Browse pgsql-www by date

  From Date Subject
Next Message Dave Page 2019-07-11 15:19:47 Re: Install github app to automatically close PRs on github mirror
Previous Message Dave Page 2019-07-11 14:28:16 Re: Install github app to automatically close PRs on github mirror