Update app.py

app.py

@@ -221,8 +221,20 @@ def update_leaderboard(results):
             header=not os.path.exists(LEADERBOARD_FILE)  # Add headers if file doesn't exist
         )
         print("Leaderboard file updated successfully.")
+          # Push the updated file to the Hugging Face repository
+        repo = Repository(
+            local_dir=".",  # Current working directory
+            clone_from="SondosMB/ss",  # Replace with your space's repository name
+            use_auth_token=True
+        )
+        repo.git_add(LEADERBOARD_FILE)
+        repo.git_commit(f"Update leaderboard: {datetime.now().strftime('%Y-%m-%d %H:%M:%S')}")
+        repo.git_push()
+        print("Leaderboard changes pushed to Hugging Face repository.")
+
     except Exception as e:
-        print(f"Error writing to leaderboard file: {e}")
+        print(f"Error updating leaderboard file: {e}")    
+