Re-opening PRs

Mario Torre neugens at redhat.com
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.

Cheers,
Mario


On Thu, Mar 4, 2021 at 12:32 PM Aleksey Shipilev <shade at redhat.com> wrote:
>
> Hi,
>
> Look at this issue:
>    https://github.com/openjdk/jdk/pull/1343
>
> 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 <https://www.redhat.com>
9704 A60C B4BE A8B8 0F30  9205 5D7E 4952 3F65 7898



More information about the skara-dev mailing list