Re-opening PRs

Mario Torre neugens at
Thu Mar 4 15:11:48 UTC 2021

On Thu, Mar 4, 2021 at 3:03 PM Dalibor Topic <dalibor.topic at> 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!


Mario Torre
Manager, Software Engineering
Red Hat GmbH <>
9704 A60C B4BE A8B8 0F30  9205 5D7E 4952 3F65 7898

More information about the skara-dev mailing list