ci: use named remote for HuggingFace push

Adds 'hf' remote before pushing to avoid inline credentials in the git push URL,
and uses || true to tolerate re-runs where the remote already exists.

https://claude.ai/code/session_017gXea9mxBQqDTAsSQd7aAq

.github/workflows/sync_to_huggingface.yml

@@ -14,4 +14,6 @@ jobs:
       - name: Push to HuggingFace
         env:
           HF_TOKEN: ${{ secrets.HF_TOKEN }}
-        run: git push -f https://Ma-Ri-Ba-Ku:$HF_TOKEN@huggingface.co/spaces/Ma-Ri-Ba-Ku/Picarones main
+        run: |
+          git remote add hf https://Ma-Ri-Ba-Ku:$HF_TOKEN@huggingface.co/spaces/Ma-Ri-Ba-Ku/Picarones || true
+          git push -f hf main