| From: | Dave Page <dpage(at)pgadmin(dot)org> |
|---|---|
| To: | Justin Clift <justin(at)postgresql(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:19:47 |
| Message-ID: | CA+OCxoy4EJ49tnbVmm=Ov0wQ_yosxcvnGV8AmFspTywNDKehhw@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-www |
On Thu, Jul 11, 2019 at 4:01 PM Justin Clift <justin(at)postgresql(dot)org> wrote:
> 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?
>
Possibly. We need to consider if there are any ramifications of doing so.
>
> Coming from the viewpoint of "we have an app already running at the
> appropriate time, it just needs to operate a bit differently".
>
> + Justin
>
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Magnus Hagander | 2019-07-11 15:21:59 | Re: Install github app to automatically close PRs on github mirror |
| Previous Message | Justin Clift | 2019-07-11 15:01:16 | Re: Install github app to automatically close PRs on github mirror |