Set the git email to actions-at-github.org

.github/workflows/bench-upload.yml

@@ -35,7 +35,7 @@ jobs:
           sudo apt-get install -y gh
       - name: Set up git
         run: |
-          git config --global user.email "pavel.marek@enso.org"
+          git config --global user.email "actions@github.org"
           git config --global user.name "enso-bench-bot"
       - name: Upload benchmarks
         run: |