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

On Wed, Jan 29, 2020 at 9:45 AM Magnus Hagander <magnus(at)hagander(dot)net> wrote:

> 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?
>

As I said last time, I was waiting for a patch from Stephen, which is why
it wasn't on my TODO. I've pushed a fix to redirect any pgweb PRs, which is
what you said upstream you were looking for.

>
> 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.
>

Meh. It takes 30 seconds to change the config so it doesn't apply to a
particular repo. Want me to do that?

>
> 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/
>

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company