Fix permissions issue.

This commit is contained in:
Benoit Marty 2026-03-17 16:21:47 +01:00
parent 96e2f882a2
commit d852774421
2 changed files with 6 additions and 0 deletions

View file

@ -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