Re-opening PRs

Aleksey Shipilev shade at
Thu Mar 4 11:32:02 UTC 2021


Look at this issue:

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?


More information about the skara-dev mailing list