Merge pull request #3 from embeddings-benchmark/orionw-patch-1

.github/workflows/update_leaderboard.yml

@@ -34,7 +34,11 @@ jobs:
       with:
         commit_message: Automated Leaderboard Update
         file_pattern: '*.json boards_data/* all_data_tasks/*'
+        # Needed so that it can override the PR settings
+        commit_user_name: Orion Weller
+        commit_user_email: wellerorion@gmail.com
+        commit_author: Orion Weller <wellerorion@gmail.com>
     - name: Push to hub
       env:
         HF_TOKEN: ${{ secrets.HF_TOKEN }}
-      run: git push https://mteb:$HF_TOKEN@huggingface.co/spaces/mteb/leaderboard main
+      run: git push https://mteb:$HF_TOKEN@huggingface.co/spaces/mteb/leaderboard main