better display

app.py

@@ -70,10 +70,42 @@ def return_operation_details(from_model, to_model):
   return liste
 
 def commit(liste_requests, liste_results, liste_details, details_path, from_model, to_model):
-  request_commit = (create_commit(repo_id="open-llm-leaderboard/requests", operations=liste_requests, commit_message=f"Renaming Model {from_model} to {to_model}", repo_type="dataset", create_pr=True).__dict__['pr_url'])
-  result_commit = (create_commit(repo_id="open-llm-leaderboard/results", operations=liste_results, commit_message=f"Renaming Model {from_model} to {to_model}", repo_type="dataset", create_pr=True).__dict__['pr_url'])
-  details_commit = (create_commit(repo_id="/".join(details_path.split("/")[1:]), operations=liste_details, commit_message=f"Renaming Model {from_model} to {to_model}", repo_type="dataset", create_pr=True).__dict__['pr_url'])
-  return f"{request_commit}\n{result_commit}\n{details_commit}"
+  common_for_commits = {"commit_message": f"Renaming Model {from_model} to {to_model}", "repo_type": "dataset", "create_pr": True}
+
+  request_commit = (create_commit(repo_id="open-llm-leaderboard/requests", operations=liste_requests, **common_for_commits))
+  result_commit = (create_commit(repo_id="open-llm-leaderboard/results", operations=liste_results, **common_for_commits))
+  details_commit = (create_commit(repo_id="/".join(details_path.split("/")[1:]), operations=liste_details, **common_for_commits))
+  
+  all_commits = [request_commit, result_commit, details_commit]
+  all_repo_ids = ["open-llm-leaderboard/requests", "open-llm-leaderboard/results", "/".join(details_path.split("/")[1:])]
+
+  # Edit comment descriptions
+    
+  content = f"{request_commit.pr_url}\n{result_commit.pr_url}\n{details_commit.pr_url}"
+
+  content = f"""This is a pull request aiming to rename the model {from_model} to {to_model}. All related pull requests to rename this model can be found below.
+# Requests
+
+{request_commit.pr_url}
+
+# Results
+
+{result_commit.pr_url}
+
+# Details
+
+{details_commit.pr_url}
+"""
+  
+  for i, common_repo_id in enumerate(all_repo_ids):
+    commit = all_commits[i]
+    common_for_edits = {"repo_id": common_repo_id, "discussion_num": commit.pr_num, "repo_type": "dataset"}
+
+    comment_id = get_discussion_details(**common_for_edits).events[0].id
+    edit_discussion_comment(**common_for_edits, comment_id=comment_id, new_content=content)
+
+
+  return f"{request_commit.pr_url}\n{result_commit.pr_url}\n{details_commit.pr_url}"
 
 
 def commit_gradio(from_model, to_model, hf_token):