Re-opening PRs

[Mario Torre]

On Thu, Mar 4, 2021 at 3:03 PM Dalibor Topic <dalibor.topic at oracle.com> wrote:
>
>
>
> On 04.03.2021 14:01, Mario Torre wrote:
> > More generally, we should probably disable those automatic stuff-closing
> > bots, it doesn't make much sense to me.
>
> I think that they are generally quite useful in reducing the conceptual?
> mental? load from requests gone stale for some reason, as long as it's
> possible to reopen them later, if necessary.

Maybe. I don't know I find those problematic. funnily enough there was
a thread on twitter just about this sort of things just yesterday
initiated by Bruno.

But, as you noted:

> There is probably a philosophical discussion over a cup of coffee about
> an unseen pull request falling in a forest buried in here, somewhere. ;)

Yes, this!

Cheers,
Mario

-- 
Mario Torre
Manager, Software Engineering
Red Hat GmbH <https://www.redhat.com>
9704 A60C B4BE A8B8 0F30  9205 5D7E 4952 3F65 7898