set up git user again

Author: lorenzwalthert

.github/workflows/benchmarking.yaml

@@ -18,8 +18,8 @@ jobs:
         uses: actions/checkout@master
       - name: Set up git user
 	      run: |
-	        git config --local user.email "[email protected]"
 	        git config --local user.name "GitHub Actions"
+	        git config --local user.email "[email protected]"
       - name: Ensure base branch is fetched
         if: ${{ github.event_name == 'pull_request' }}
         run: git branch $GITHUB_BASE_REF remotes/origin/$GITHUB_BASE_REF; git branch