ci: retry pushing benchmark data

.github/workflows/benchmark.yml

@@ -123,6 +123,10 @@ jobs:
     - name: Push benchmark repo
       working-directory: benchmark-results
       run: |
+        for attempt in {1..5}; do
+          echo "Attempting to push to repository #$attempt"
+          git fetch origin
+          git reset --hard origin/main
           npm ci
           node ./bin/collect.js ../benchmark-startup.log data/startup.json
           node ./bin/collect.js ../benchmark-send.log data/send.json
@@ -133,4 +137,5 @@ jobs:
           git config --global user.name "Signal Bot"
           git add .
           git commit --message "${GITHUB_REF} ${GITHUB_SHA}"
-        git push --force origin main
+          git push origin main && break || sleep `$((1 + RANDOM % 5))`
+        done