Re-opening PRs

[Aleksey Shipilev]

On 3/4/21 12:32 PM, Aleksey Shipilev wrote:
> 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?

Any hints/solutions?

Should I just open another PR and live with two reviews referenced from the JIRA bug? It would be 
inconvenient, because it loses the discussion in the old PR.

-- 
Thanks,
-Aleksey