Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
According to https://stackoverflow.com/questions/74957218/what-is-the-difference-between-pull-request-and-pull-request-target-event-in-git there is something with permissions of tokens that differ between pull_request and pull_request_target, so switch to pull_request_target which is what the action documentation suggests.
- Loading branch information