fix

.github/workflows/delete_doc_comment.yml

@@ -1,13 +0,0 @@
-name: Delete doc comment
-
-on:
-  workflow_run:
-    workflows: ["Delete doc comment trigger"]
-    types:
-      - completed
-
-jobs:
-  delete:
-    uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
-    secrets:
-      comment_bot_token: ${{ secrets.COMMENT_BOT_TOKEN }}

.github/workflows/delete_doc_comment_trigger.yml

@@ -1,12 +0,0 @@
-name: Delete doc comment trigger
-
-on:
-  pull_request:
-    types: [ closed ]
-
-
-jobs:
-  delete:
-    uses: huggingface/doc-builder/.github/workflows/delete_doc_comment_trigger.yml@main
-    with:
-      pr_number: ${{ github.event.number }}

competitions/templates/index.html

@@ -72,10 +72,8 @@
 
                 const userToken = document.getElementById('user_token').value;
                 const payload = {
-                    user_lb: {
-                        lb: leaderboardType,
-                        user_token: userToken
-                    }
+                    lb: leaderboardType,
+                    user_token: userToken
                 };
 
                 fetch('/leaderboard', {