Skip to content

Conversation

@tkoyama010
Copy link
Member

@tkoyama010 tkoyama010 commented Sep 23, 2025

Summary

  • Fixes the "user doesn't have permission to update head repository" error in the PR update workflow
  • Adds proper permissions and repository checks to handle PRs from forked repositories

Changes

  • Added contents: write permission to allow branch updates
  • Added repository check to ensure workflow only runs on main repository
  • Added allow_ongoing_checks: true option for better flexibility

Test plan

  • Workflow should no longer fail with permission errors on PRs from forks
  • Workflow should continue to update PRs from the main repository
  • Verify auto-merge functionality still works as expected

🤖 Generated with Claude Code

Add contents:write permission and repository check to prevent
"user doesn't have permission to update head repository" error
when updating PRs from forks.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <[email protected]>
@tkoyama010
Copy link
Member Author

LGTM

@tkoyama010 tkoyama010 enabled auto-merge (squash) September 23, 2025 02:16
@tkoyama010
Copy link
Member Author

@pyvista-bot LGTM

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ Approving this PR because tkoyama010 said so in here :shipit:

@tkoyama010 tkoyama010 merged commit be68b68 into main Sep 23, 2025
7 checks passed
@tkoyama010 tkoyama010 deleted the fix-pr-update-permissions branch September 23, 2025 02:38
@github-actions
Copy link
Contributor

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants