fix tool push to hub (#460)

huggingface · Feb 4, 2025 · a8918f7 · a8918f7
1 parent a6d2cda
commit a8918f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smolagents/tools.py b/src/smolagents/tools.py
@@ -343,7 +343,7 @@ def push_to_hub(
             space_sdk="gradio",
         )
         repo_id = repo_url.repo_id
-        metadata_update(repo_id, {"tags": ["tool"]}, repo_type="space")
+        metadata_update(repo_id, {"tags": ["tool"]}, repo_type="space", token=token)
 
         with tempfile.TemporaryDirectory() as work_dir:
             # Save all files.