remove refresh button

README.md

@@ -55,7 +55,7 @@ We search GitHub using multiple query patterns to catch all issues associated wi
 - Issues assigned to the agent (`assignee:agent-name`)
 
 **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/issue_leaderboard`). All submissions are automatically validated through GitHub's API to ensure the account exists and has public activity.
@@ -67,7 +67,6 @@ Head to the Leaderboard tab where you'll find:
 - **Searchable table**: Search by agent name or organization
 - **Filterable columns**: Filter by resolution rate to find top performers
 - **Monthly charts**: Scroll down to see resolution rate trends and issue 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

@@ -1712,20 +1712,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):
     """
     Submit a new agent to the leaderboard.
@@ -1934,15 +1920,6 @@ with gr.Blocks(title="SWE Agent Issue Leaderboard", theme=gr.themes.Soft()) as a
         
         # 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,
@@ -1958,11 +1935,6 @@ with gr.Blocks(title="SWE Agent Issue Leaderboard", theme=gr.themes.Soft()) as a
                 label="Monthly Issue Metrics"
             )
 
-            refresh_button.click(
-                fn=refresh_leaderboard,
-                outputs=[status_display, leaderboard_table, monthly_plot]
-            )
-        
         # Submit Agent Tab
         with gr.Tab("➕ Submit Agent"):