Retry Hugging Face sync pushes

Co-authored-by: OpenAI Codex <codex@openai.com>

.github/workflows/sync_to_hf.yml

@@ -57,4 +57,14 @@ jobs:
         run: git lfs push huggingface --all
 
       - name: Force-sync main to Hugging Face
-        run: git push --force huggingface HEAD:main
+        run: |
+          for attempt in 1 2 3 4 5; do
+            if git push --force huggingface HEAD:main; then
+              exit 0
+            fi
+            delay=$((attempt * 20))
+            echo "Hugging Face push failed on attempt ${attempt}; retrying in ${delay}s..." >&2
+            sleep "$delay"
+          done
+          echo "Hugging Face push failed after 5 attempts." >&2
+          exit 1

AGENTS.md

@@ -126,6 +126,9 @@ annotated technical cutaway animation.
   Space sync on pushes to `main`. The workflow targets `jasondo111/Snap2Sim`
   and requires GitHub secret `HF_TOKEN`.
 - User reported the GitHub Actions `HF_TOKEN` secret has been added.
+- PR #1 was merged to `main`. The first GitHub-to-HF sync run reached the final
+  push step but failed with Hugging Face HTTP `429`; the workflow now retries
+  that final push with bounded backoff.
 - Documented GitHub as the source of truth:
   `https://github.com/Bigstonks1/Snap2Sim`. Do not edit files directly on the
   Hugging Face Space; they will be overwritten by the sync workflow.
@@ -140,8 +143,7 @@ annotated technical cutaway animation.
   deterministic `generate_threejs` endpoint for scene rendering.
 - Keep the Hugging Face Space private until the user explicitly approves making
   it public for submission.
-- Commit and push the workflow to GitHub `main`, then verify the GitHub Actions
-  sync run succeeds.
+- Verify the next GitHub Actions sync run succeeds after the retry update.
 - If Three.js model generation is too brittle, keep using the deterministic
   local scene generator for the demo while still using Nemotron for analysis.
 - Document final submission links and bonus claims.