Re: Install github app to automatically close PRs on github mirror - Mailing list pgsql-www

From Magnus Hagander
Subject Re: Install github app to automatically close PRs on github mirror
Date
Msg-id CABUevEwD667h_HZf4Mkm4O3qMj=WdGzhpyTchQg7GPpVPH=omg@mail.gmail.com
Whole thread Raw
In response to Re: Install github app to automatically close PRs on github mirror  (Alvaro Herrera <alvherre@2ndquadrant.com>)
Responses Re: Install github app to automatically close PRs on github mirror  (Magnus Hagander <magnus@hagander.net>)
List pgsql-www


On Wed, Jul 17, 2019 at 8:01 PM Alvaro Herrera <alvherre@2ndquadrant.com> wrote:
On 2019-Jul-11, Dave Page wrote:

> > Ping?
> >
> > This is still broken AFAICT...
>
> As far as I'm aware there's nothing actually broken there at the moment -
> it just needs an improved message for which I suggested Stephen send a
> patch.

This hasn't changed yet ...

And here's another 3 month reminder that this is still a todo. 

--

pgsql-www by date:

Previous
From: Magnus Hagander
Date:
Subject: Re: "Resend email" gave me a "does not exist" message
Next
From: chenhj
Date:
Subject: Re: adding website link of China PostgreSQL User Group (CPGUG)