ci: exclude bots in pr-sort.yml

Author: JesperDramsch

.github/workflows/pr-sort.yml

@@ -23,7 +23,14 @@ jobs:
   process-changes:
     runs-on: ubuntu-latest
     # Only check for merged PR when triggered by a pull_request event
-    if: github.event_name != 'pull_request' || github.event.pull_request.merged == true
+    # And skip if PR was merged by a bot
+    if: >-
+      (github.event_name != 'pull_request' || 
+      (github.event.pull_request.merged == true && 
+       !contains(github.event.pull_request.user.login, '[bot]') && 
+       !contains(github.event.pull_request.user.login, '-bot') && 
+       github.event.pull_request.user.login != 'dependabot' && 
+       github.event.pull_request.user.login != 'github-actions'))
     steps:
     - name: Checkout repository
       uses: actions/checkout@v4