Fix permissions issue.

2026-11-03 16:10:00 +00:00 · 2026-03-17 16:21:47 +01:00
parent 8e46e68630
commit 043d20cb01
2 changed files with 6 additions and 0 deletions
@@ -12,6 +12,9 @@ permissions: {}
 jobs:
  welcome:
    runs-on: ubuntu-latest
+    permissions:
+      # Require to comment the PR.
+      pull-requests: write
    name: Welcome comment
    # Only display it if base repo (upstream) is different from HEAD repo (possibly a fork)
    if: github.event.pull_request.base.repo.full_name != github.event.pull_request.head.repo.full_name