Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use pull_request.user, not actor to determine PR user (#15504)
In most cases these are the same -- the one exception is when (re)opening an issue, in which case the actor is going to be someone with commit rights to a repo, and we don't want the mere act of re-opening to cause a PR to run on self-hosted infrastructure as that would be surprising (and potentially unsafe)
- Loading branch information