Defaulting the leaderboard-pr-bot (#8)

- Defaulting the leaderboard-pr-bot (7121331ff2892fd4530a9ccc97ea01589dc98e0b)
- elif instead of if (c061bf0c8adf91f764e40e49922c01e8e608e23d)
- else token (115252e9afacd4fb371f1aca2ef113405275df9c)
- else token 2 (b68181a8f67bcd27cdb3571c83551271bea98a57)

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: