Re-opening PRs

[Dalibor Topic]

On 04.03.2021 14:01, Mario Torre wrote:
> More generally, we should probably disable those automatic stuff-closing
> bots, it doesn't make much sense to me.

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.

There is probably a philosophical discussion over a cup of coffee about 
an unseen pull request falling in a forest buried in here, somewhere. ;)

cheers,
dalibor topic

> 
> 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
> 

-- 
<http://www.oracle.com> Dalibor Topic
Consulting Product Manager
Phone: +494089091214 <tel:+494089091214>, Mobile: +491737185961
<tel:+491737185961>, Video: dalibor.topic at oracle.com
<sip:dalibor.topic at oracle.com>

Oracle Global Services Germany GmbH
Hauptverwaltung: Riesstr. 25, D-80992 München
Registergericht: Amtsgericht München, HRB 246209
Geschäftsführer: Ralf Herrmann