Re-opening PRs
Aleksey Shipilev
shade at redhat.com
Thu Mar 4 11:32:02 UTC 2021
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
More information about the skara-dev
mailing list