From 5b46c84f9d1c6079ffc1df2d4043ea9bc6c8fbdf Mon Sep 17 00:00:00 2001 From: Orion Weller <31665361+orionw@users.noreply.github.com> Date: Sun, 7 Jul 2024 15:21:19 -0700 Subject: [PATCH] Update update_leaderboard.yml --- .github/workflows/update_leaderboard.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/update_leaderboard.yml b/.github/workflows/update_leaderboard.yml index 8e5d6735..a7629418 100644 --- a/.github/workflows/update_leaderboard.yml +++ b/.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 - name: Push to hub env: HF_TOKEN: ${{ secrets.HF_TOKEN }} - run: git push https://mteb:$HF_TOKEN@huggingface.co/spaces/mteb/leaderboard main \ No newline at end of file + run: git push https://mteb:$HF_TOKEN@huggingface.co/spaces/mteb/leaderboard main