experiment

.github/workflows/bench-upload.yml

@@ -37,14 +37,13 @@ jobs:
       - name: Set up git
         run: |
           cd ${{ github.workspace }}/engine-benchmark-results
-          git config --global user.email "[email protected]"
-          git config --global user.name "enso-bench-bot"
-          git config --unset-all http.https://github.com/.extraheader
-          git remote set-url origin https://x-access-token:${{ secrets.ENSO_BENCHMARK_RESULTS_TOKEN }}@github.com/enso-org/engine-benchmark-results
+          git config --global user.email "[email protected]"
+          git config --global user.name "Enso CI Bot"
           echo "Hello world" > hello.txt
           git add hello.txt
           git commit -m "Add hello.txt"
           git push origin
+
       #- name: Upload benchmarks
         #run: |
           #cd enso/tools/performance/engine-benchmarks