Use pull_request_target event (#1181)

rather than pull_request to make the comments work on PR https://github.com/marketplace/actions/comment-pull-request
mwouts · Dec 2, 2023 · ab2e581 · ab2e581
1 parent 4a133b5
commit ab2e581
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,7 +11,10 @@ on:
     paths-ignore:
       - "CHANGELOG.md"
     branches: [main]
-  pull_request:
+  # We use pull_request_target rather than pull_request
+  # because the latter does not let us comment on PR
+  # coming from a fork.
+  pull_request_target:
     branches: [main]
   schedule:
     - cron: "0 11 * * 4"