Re-opening PRs

Mario Torre neugens at
Thu Mar 4 13:01:57 UTC 2021

More generally, we should probably disable those automatic stuff-closing
bots, it doesn't make much sense to me.


On Thu, Mar 4, 2021 at 12:32 PM Aleksey Shipilev <shade at> wrote:
> Hi,
> Look at this issue:
> It was closed by bot due to timeout:
> "@shipilev This pull request has been inactive for more than 8 weeks and will now be automatically
> closed. If you would like to continue working on this pull request in the future, feel free to
> reopen it!"
> Cool, but there is no way for me to reopen the PR.
> It must be because the bot closed the PR, and I don't have enough privileges to reopen?
> What users like me are expected to do here?
> --
> Thanks,
> -Aleksey

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