Skip to content

Conversation

@dfinkel
Copy link

@dfinkel dfinkel commented Jan 5, 2026

pull_request_target was problematic for permissions reasons, and we've
since locked down the permissions on this repo a bit. Add pull_request
so we can trigger workflows on third-party fork PRs.

`pull_request_target` was problematic for permissions reasons, and we've
since locked down the permissions on this repo a bit. Add `pull_request`
so we can trigger workflows on third-party fork PRs.
@dfinkel dfinkel merged commit 98107ee into master Jan 7, 2026
8 checks passed
@dfinkel dfinkel deleted the github-actions-pull-request-enable branch January 7, 2026 14:45
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.

3 participants