Re-opening PRs

Thomas Stüfe thomas.stuefe at gmail.com
Thu Mar 4 17:05:38 UTC 2021


I would prefer that too.

..Thomas

On Thu, Mar 4, 2021 at 2:02 PM Mario Torre <neugens at redhat.com> wrote:

> 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