Prevent bots from creating tickets

SonarSource · Dec 17, 2024 · 2536d7a · 2536d7a
1 parent c7a38bb
commit 2536d7a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/PullRequestCreated.yml b/.github/workflows/PullRequestCreated.yml
@@ -12,7 +12,8 @@ jobs:
       id-token: write
     # For external PR, ticket should be created manually
     if: |
-        github.event.pull_request.head.repo.full_name == github.repository
+      github.event.pull_request.head.repo.full_name == github.repository
+      && github.event.sender.type != 'Bot'
     steps:
       - id: secrets
         uses: SonarSource/vault-action-wrapper@v3