refine

app.py

@@ -26,6 +26,7 @@ load_dotenv()
 
 AGENTS_REPO = "SWE-Arena/bot_metadata"  # HuggingFace dataset for agent metadata
 ISSUE_METADATA_REPO = "SWE-Arena/issue_metadata"  # HuggingFace dataset for issue metadata
+LEADERBOARD_REPO = "SWE-Arena/leaderboard_metadata"  # HuggingFace dataset for leaderboard metadata
 LEADERBOARD_TIME_FRAME_DAYS = 180  # Time frame for leaderboard
 UPDATE_TIME_FRAME_DAYS = 30  # How often to re-mine data via BigQuery
 
@@ -950,7 +951,7 @@ def get_hf_token():
 
 def load_cached_leaderboard_and_metrics():
     """
-    Load cached leaderboard and monthly metrics data from SWE-Arena/leaderboard_metadata dataset.
+    Load cached leaderboard and monthly metrics data from HuggingFace.
     This is much faster than constructing from scratch on every app launch.
 
     Returns:
@@ -968,7 +969,7 @@ def load_cached_leaderboard_and_metrics():
 
         # Download cached file
         cached_path = hf_hub_download(
-            repo_id="SWE-Arena/leaderboard_metadata",
+            repo_id=LEADERBOARD_REPO,
             filename="swe-issue.json",
             repo_type="dataset",
             token=token
@@ -1079,7 +1080,6 @@ def save_agent_to_hf(data):
 
 def save_leaderboard_and_metrics_to_hf():
     """
-    Save leaderboard data and monthly metrics to SWE-Arena/leaderboard_metadata dataset.
     Creates a comprehensive JSON file with both leaderboard stats and monthly metrics.
     If the file exists, it will be overwritten.
 
@@ -1127,11 +1127,11 @@ def save_leaderboard_and_metrics_to_hf():
         file_like_object = io.BytesIO(json_content.encode('utf-8'))
 
         # Upload to HuggingFace (will overwrite if exists)
-        print(f"\n🤗 Uploading to SWE-Arena/leaderboard_metadata...")
+        print(f"\n🤗 Uploading to {LEADERBOARD_REPO}...")
         api.upload_file(
             path_or_fileobj=file_like_object,
             path_in_repo="swe-issue.json",
-            repo_id="SWE-Arena/leaderboard_metadata",
+            repo_id=LEADERBOARD_REPO,
             repo_type="dataset",
             token=token,
             commit_message=f"Update leaderboard data - {datetime.now(timezone.utc).strftime('%Y-%m-%d %H:%M:%S')} UTC"
@@ -1249,7 +1249,7 @@ def mine_all_agents():
     # After mining is complete, save leaderboard and metrics to HuggingFace
     print(f"📤 Uploading leaderboard and metrics data...")
     if save_leaderboard_and_metrics_to_hf():
-        print(f"✓ Leaderboard and metrics successfully uploaded to SWE-Arena/leaderboard_metadata")
+        print(f"✓ Leaderboard and metrics successfully uploaded to {LEADERBOARD_REPO}")
     else:
         print(f"⚠️ Failed to upload leaderboard and metrics data")