Re-opening PRs

[Robin Westberg]

Hi Aleksey,

> On 5 Mar 2021, at 14:28, Aleksey Shipilev <shade at redhat.com> wrote:
> 
> 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.

I guess the only solution other than opening a new one would be to get an admin to reopen the PR. I’m fairly certain that it has been possible for regular users to reopen PRs in the past, so it is possible that something has changed on the GitHub side.. But as it stands, it certainly is a bit inconvenient. So my suggestion is that I reopen PR #1343 and disable automatic closing of PRs for now.

Best regards,
Robin

> 
> -- 
> Thanks,
> -Aleksey
>