made changes

app.py

@@ -512,6 +512,15 @@ for col, default in [("assigned_to",""),("status","todo")]:
         df = df.with_columns(pl.col(col).fill_null(default))
 df = df.sort(by=["downloads","last_modified","usedStorage"], descending=[True,True,True])
 
+
+if "reason" in df.columns:
+    df = df.with_columns([
+        pl.Series(
+            "reason",
+            ["short description" if x and "short description" in x.lower() else (x if x is not None else "") for x in df["reason"]]
+        )
+    ])
+
 # Prepare dropdown unique values
 unique_values = {col: sorted(df[col].drop_nulls().unique().to_list()) for col in DROPDOWN_COLUMNS}
 unique_values["assigned_to"] = sorted(member_list)
@@ -692,7 +701,7 @@ with gr.Blocks() as demo:
     )
 
 # --- Auto-push ---
-def auto_push_loop(interval=3600):
+def auto_push_loop(interval=1200):
     while True:
         try:
             hf_token = os.environ.get("HF_TOKEN")
@@ -714,5 +723,5 @@ def auto_push_loop(interval=3600):
             print("⚠️ Push failed:", e)
         time.sleep(interval)
 
-threading.Thread(target=auto_push_loop, args=(3600,), daemon=True).start()
+threading.Thread(target=auto_push_loop, args=(1200,), daemon=True).start()
 demo.launch()