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

   ### Describe the bug, including details regarding any error messages, 
version, and platform.
   
   I just [tried to autotune and generate 
docs](https://github.com/apache/arrow/pull/38258#issuecomment-1766777461), but 
that failed with:
   
   ```
   Run r-lib/actions/pr-push@v2
   Collecting information about PR #38258...
   git push ***github.com/Divyansh200102/arrow.git -q 
HEAD:open_dataset(format-=-json-)-not-documented
   remote: Permission to Divyansh200102/arrow.git denied to github-actions[bot].
   fatal: unable to access 'https://github.com/Divyansh200102/arrow.git/': The 
requested URL returned error: 403
   Error: The process 'git' failed with exit code 128
   ``` 
   
   It looks like that PR has permissions for maintainers to push to it — so 
maybe this is an issue that our github bot user no longer has the correct 
scope? I also was able to push to this branch personally, so I suspect it's 
something wrong with the actions runner permissions scope.
   
   cc @assignUser since you know lots about github (actions) permissions
   
   ### Component(s)
   
   Continuous Integration, Developer Tools


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