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

On Wed, Oct 23, 2019 at 4:24 PM Magnus Hagander <magnus(at)hagander(dot)net> wrote:
>
>
>
> On Wed, Jul 17, 2019 at 8:01 PM Alvaro Herrera <alvherre(at)2ndquadrant(dot)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.

Oh look, another 3 months have passed, and it's still broken. Are
there *any* plans to fix this?

If not, I guess we have to split up and create a second organisation
"postgres2" or something and move repos over there. But I'm not sure
that's better than just reverting this change until such a time that
someone finds a tool that actually works in our scenario.

For example, there have been discussions of trialing the use of the
github workflow for pgweb, to see if that encourages contributions.
This software now effectively makes that impossible to even trial.

And FWIW, in the 6 months or so it's been out there,it's closed a
massive 6 PRs in postgres, and 2 in pgadmin. So it's not like it's
doing a lot of actual productive work.

--
Magnus Hagander
Me: https://www.hagander.net/
Work: https://www.redpill-linpro.com/