add render of redirect in leaderboard to users

app.py

@@ -1,12 +1,19 @@
 # app dashboard from https://huggingface.co/spaces/davanstrien/argilla-progress/blob/main/app.py
 import os
-from typing import List
+from typing import List, Optional
 
 import argilla as rg
 import gradio as gr
 import pandas as pd
 import plotly.graph_objects as go
 
+os.environ["ARGILLA_API_URL"] = (
+    "https://data-is-better-together-image-preferences.hf.space/"
+)
+os.environ["ARGILLA_API_KEY"] = (
+    "AbwS-x_-ttKOsoxIi-tbX9MdOBzSBvCFHe91QWKaAtrFo2KppKpl1gSoG-wCBSASWVJzNBLxKaBPzo7SVxnvGUAxmytsbQ5SlJREGbZVB1o"
+)
+
 client = rg.Argilla(
     api_url=os.getenv("ARGILLA_API_URL"),
     api_key=os.getenv("ARGILLA_API_KEY"),
@@ -162,8 +169,6 @@ def get_datasets(client: rg.Argilla) -> List[rg.Dataset]:
 
 datasets = get_datasets(client)
 
-from typing import Optional
-
 
 def update_dashboard(dataset_idx: Optional[int] = None):
     if dataset_idx is None:
@@ -179,6 +184,10 @@ def update_dashboard(dataset_idx: Optional[int] = None):
         list(progress["users"].items()), columns=["User", "Submitted records"]
     )
 
+    leaderboard_df["User"] = leaderboard_df["User"].apply(
+        lambda x: f"[{x}](https://huggingface.co/{x})"
+    )
+
     leaderboard_df = leaderboard_df.sort_values(
         "Submitted records", ascending=False
     ).reset_index(drop=True)
@@ -206,7 +215,10 @@ with gr.Blocks() as demo:
     gr.Markdown("## Contributor Leaderboard")
 
     with gr.Row():
-        leaderboard_output = gr.Dataframe(headers=["User", "Submitted records"])
+        leaderboard_output = gr.Dataframe(
+            headers=["User", "Submitted records"],
+            datatype=["markdown", "markdown", "html"],
+        )
         piechart_output = gr.Plot(label="User contributions")
 
     demo.load(