Fix refreshes

app.py

@@ -98,13 +98,14 @@ def api_submit_results(
             byte_perplexity=byte_perplexity,
             word_perplexity=word_perplexity,
         )
+        refresh_leaderboard(push_to_hub=False)
         return ["Success", new_data]
 
     except Exception as e:
         return ["Failed: " + str(e), None]
 
 
-def refresh_leaderboard():
+def refresh_leaderboard(push_to_hub: bool = True):
     global dataframe
     dataset = Dataset.from_pandas(dataframe)
     dataset = dataset.map(
@@ -122,7 +123,8 @@ def refresh_leaderboard():
         },
         remove_columns=dataset.column_names,
     )
-    dataset.push_to_hub(DATASET_ID, token=HF_TOKEN)
+    if push_to_hub:
+        dataset.push_to_hub(DATASET_ID, token=HF_TOKEN)
 
 
 # Create Gradio interface