Defaulting the leaderboard-pr-bot

app.py

@@ -177,10 +177,12 @@ def get_edited_yaml_readme(repo, token: str | None):
 
 def commit(repo, pr_number=None, message="Adding Evaluation Results", oauth_token: gr.OAuthToken | None = None): # specify pr number if you want to edit it, don't if you don't want
   if oauth_token is None:
-    raise gr.Error("You must be logged in to open a PR. Click on 'Sign in with Huggingface' first.")
-  if oauth_token.expires_at < time.time():
+    gr.Warning("You are not logged in; therefore, the leaderboard-pr-bot will open the pull request instead of you. Click on 'Sign in with Huggingface' to log in.")
+    token = BOT_HF_TOKEN
+  elif oauth_token.expires_at < time.time():
     raise gr.Error("Token expired. Logout and try again.")
-  token = oauth_token.token
+  else:
+    token = oauth_token.token
 
   if repo.startswith("https://huggingface.co/"):
       try: