commit | 885eb38accf49e2ccdd2fa6786f3590cf40a3e23 | [log] [tgz] |
---|---|---|
author | Paul Wankadia <junyer@google.com> | Thu Jan 27 12:28:11 2022 -0800 |
committer | Paul Wankadia <junyer@google.com> | Thu Jan 27 20:47:09 2022 +0000 |
tree | b8659e941e189c0e6687e85e4ceccaea6d18bc1a | |
parent | d98c3fddc73b40f7bbf7accc06b1a8c2ea7969fc [diff] |
Oops, I think I needed pull_request_target instead. Change-Id: I58f3c5539fe94764d8922cf61d3e4ab53929460e Reviewed-on: https://code-review.googlesource.com/c/re2/+/59694 Reviewed-by: Aaron Jacobs <jacobsa@google.com> Reviewed-by: Paul Wankadia <junyer@google.com>
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index 9de006d..8ede73b 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml
@@ -1,6 +1,6 @@ name: PR on: - pull_request: + pull_request_target: branches: [main] types: [opened] jobs: