diff options
| author | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-02-07 23:16:41 +0200 |
|---|---|---|
| committer | Donatas Abraitis <donatas@opensourcerouting.org> | 2023-02-07 23:16:41 +0200 |
| commit | 463e8d5d0a833028595d4f6400a9192b6897a22d (patch) | |
| tree | 96bbbf49f9f87de266ee1ebdda87d165c008c210 /.github | |
| parent | 96475dfde95f0776844dee3b72780851107f879d (diff) | |
tools: Replace pull_request_target to pull_request for commitlint action
Tested locally, it works. So it seems that, pull_request_target is not
working properly, let's check.
Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/commitlint.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/commitlint.yml b/.github/workflows/commitlint.yml index e9c66a9036..f5a2e7d360 100644 --- a/.github/workflows/commitlint.yml +++ b/.github/workflows/commitlint.yml @@ -1,7 +1,7 @@ name: commitlint on: - pull_request_target: + pull_request: types: - opened - reopened @@ -14,6 +14,7 @@ jobs: if: github.repository == 'frrouting/frr' permissions: contents: read + pull-requests: read runs-on: ubuntu-latest steps: - name: Checkout |