pearu opened a new issue, #54696:
URL: https://github.com/apache/arrow/issues/54696

   ### Describe the bug, including details regarding any error messages, 
version, and platform.
   
   The PR limit workflow closes a pull request that takes a contributor over 
the limit, and both its comment (`.github/workflows/pr_limit/comment.md`: "you 
are welcome to reopen this one") and the docs 
(`docs/source/developers/bug_reports.rst`: "Once one of your other pull 
requests has been merged or closed, you can reopen it") say that the author can 
reopen it later.
   
   In practice the author cannot. After #54656 was merged, which brought me 
below the limit, reopening #54657 (closed by the workflow) fails:
   
   ```
   $ gh pr reopen 54657 -R apache/arrow
   API call failed: GraphQL: Could not open the pull request. 
(reopenPullRequest)
   ```
   
   Presumably GitHub does not let an author without repository access reopen a 
pull request that was closed by an account with write access.
   
   Either the comment and the docs could ask the author to request a reopen 
from a committer or collaborator (the workflow already leaves alone a pull 
request reopened by someone with repository access, see 
`.github/workflows/pr_limit/check.js`), or the workflow could let authors 
reopen their pull requests, e.g. by reopening them itself once the author is 
below the limit.
   
   ### Component(s)
   
   Continuous Integration, Documentation
   


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to