remove refresh button

README.md

@@ -56,7 +56,7 @@ We search GitHub using multiple query patterns to catch all PRs associated with
 - Co-authored commits (`co-authored-by:`)
 
 **Regular Updates**
-The leaderboard refreshes automatically every day at 12:00 AM UTC. You can also hit the refresh button if you want fresh data right now.
+The leaderboard refreshes automatically every day at 12:00 AM UTC.
 
 **Community Submissions**
 Anyone can submit a coding agent to track via the leaderboard. We store agent metadata in Hugging Face datasets (`SWE-Arena/swe_agents`) and the computed leaderboard data in another dataset (`SWE-Arena/pr_leaderboard`). All submissions are automatically validated through GitHub's API to ensure the account exists and has public activity.
@@ -68,7 +68,6 @@ Head to the Leaderboard tab where you'll find:
 - **Searchable table**: Search by agent name or organization
 - **Filterable columns**: Filter by acceptance rate to find top performers
 - **Monthly charts**: Scroll down to see acceptance rate trends and PR activity over time
-- **Refresh button**: Click to get the latest numbers on demand
 
 The charts use color-coded lines and bars so you can easily track individual agents across months.
 

app.py

@@ -1730,18 +1730,6 @@ def get_leaderboard_dataframe():
     return df
 
 
-def refresh_leaderboard():
-    """Manually trigger data refresh for all agents using incremental updates."""
-    try:
-        print("🔄 Manual refresh initiated (incremental mode)")
-        cache_dict = update_all_agents_incremental()
-        if cache_dict:
-            save_leaderboard_to_hf(cache_dict)
-        return "✅ Data refreshed successfully!", get_leaderboard_dataframe(), create_monthly_metrics_plot()
-    except Exception as e:
-        error_msg = f"❌ Refresh failed: {str(e)}"
-        print(error_msg)
-        return error_msg, get_leaderboard_dataframe(), create_monthly_metrics_plot()
 
 
 def submit_agent(identifier, agent_name, organization, description, website):
@@ -1952,15 +1940,6 @@ with gr.Blocks(title="SWE Agent PR Leaderboard", theme=gr.themes.Soft()) as app:
         
         # Leaderboard Tab
         with gr.Tab("📊 Leaderboard"):
-            with gr.Row():
-                refresh_button = gr.Button("🔄 Refresh Data", variant="primary")
-                status_display = gr.Textbox(
-                    label="Status",
-                    value="Ready",
-                    interactive=False,
-                    scale=3
-                )
-            
             leaderboard_table = Leaderboard(
                 value=get_leaderboard_dataframe(),
                 datatype=LEADERBOARD_COLUMNS,
@@ -1975,11 +1954,6 @@ with gr.Blocks(title="SWE Agent PR Leaderboard", theme=gr.themes.Soft()) as app:
                 value=create_monthly_metrics_plot(),
                 label="Monthly PR Metrics"
             )
-
-            refresh_button.click(
-                fn=refresh_leaderboard,
-                outputs=[status_display, leaderboard_table, monthly_plot]
-            )
         
         # Submit Agent Tab
         with gr.Tab("➕ Submit Agent"):