Timings get auto-comitted

.gitea/workflows/Merge-Checker.yaml

@@ -50,18 +50,18 @@ jobs:
             exit 1
           fi
       - name: Commit and push timing results
+        if: github.event.pull_request.head.repo.full_name == github.repository  # Only push from same repo
         run: |
-          git config --global user.name "github-actions[bot]"
+          git config --global user.name "ci-bot"
-          git config --global user.email "github-actions[bot]@users.noreply.github.com"
+          git config --global user.email "ci-bot@local"
-
-          # Save current branch name
-          BRANCH_NAME=$(echo "${GITHUB_REF##refs/heads/}")
 
+          BRANCH_NAME="${{ github.event.pull_request.head.ref }}"
+          
           git add unit-tests/timing-results/matrix-timing-tests.txt
+
           if git diff --quiet --cached; then
             echo "No changes to commit"
           else
             git commit -m "Update matrix-timing-tests timings [skip ci]"
             git push origin HEAD:$BRANCH_NAME
-          fi
+          fi
-