Revert "try different username"

This reverts commit e15c50b.

Signed-off-by: Matthias J. Kannwischer <[email protected]>

.github/workflows/bench.yml

@@ -15,6 +15,10 @@ jobs:
     if: github.repository_owner == 'pq-code-package' && (contains(github.event.pull_request.labels.*.name, 'benchmark') || github.ref == 'refs/heads/main')
     steps:
       - uses: actions/checkout@v4
+      - name: Setup git user
+        run: |
+          git config --global user.name "oqs-bot"
+          git config --global user.email "[email protected]"
       - name: Setup nix
         uses: ./.github/actions/setup-nix
         with:
@@ -37,17 +41,11 @@ jobs:
         shell: nix develop .#ci -c bash -e {0}
         run: |
           tests bench -c PMU --cflags -mcpu=cortex-a72 -v --resultfile output.json
-      - name: Merge benchmark result
+      - name: Store benchmark result
         uses: benchmark-action/github-action-benchmark@v1
         with:
           name: Arm Cortex-A72 (Raspberry Pi 4) benchmarks
           tool: 'customSmallerIsBetter'
           output-file-path: output.json
           github-token: ${{ secrets.GITHUB_TOKEN }}
-          auto-push: false
-      - name: Push benchmark results
-        run: |
-          git config --global user.name "oqs-bot"
-          git config --global user.email "[email protected]"
-          git push
-
+          auto-push: true