Re-opening PRs
Aleksey Shipilev
shade at redhat.com
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...
--
Thanks,
-Aleksey
More information about the skara-dev
mailing list