Re-opening PRs

Aleksey Shipilev shade at
Thu Mar 4 15:11:32 UTC 2021

On 3/4/21 3:02 PM, Dalibor Topic wrote:
> 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.

So, back to my question: how do I reopen the PRs closed by the bot?

I don't think current GitHub permissions allow this...


More information about the skara-dev mailing list