Update update_leaderboard.yml

embeddings-benchmark · Oct 1, 2024 · 5f9b371 · 5f9b371
1 parent 185b5fc
commit 5f9b371
Showing 1 changed file with 2 additions and 11 deletions.
diff --git a/.github/workflows/update_leaderboard.yml b/.github/workflows/update_leaderboard.yml
@@ -42,26 +42,17 @@ jobs:
           all_data_tasks/*
         committer: Orion Weller <[email protected]>
         author: Orion Weller <[email protected]>
-    - name: Enable Pull Request Automerge
-      if: steps.cpr.outputs.pull-request-operation == 'created'
-      uses: peter-evans/enable-pull-request-automerge@v3
-      with:
-        token: ${{ secrets.GITHUB_TOKEN }}
-        pull-request-number: ${{ steps.cpr.outputs.pull-request-number }}
-        merge-method: squash
-    - name: Automatically merge PR if all checks pass
-      if: steps.cpr.outputs.pull-request-operation == 'created'
+    - name: Automatically merge PR
       uses: pascalgn/[email protected]
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         PULL_REQUEST: ${{ steps.cpr.outputs.pull-request-number }}
         MERGE_LABELS: ""
         MERGE_METHOD: squash
-        MERGE_COMMIT_MESSAGE: "pull-request-title"
+        MERGE_COMMIT_MESSAGE: "automated-leaderboard-update-merge"
         MERGE_RETRIES: "6"
         MERGE_RETRY_SLEEP: "10000"
     - name: Push to hub
-      if: steps.cpr.outputs.pull-request-operation == 'closed'
       env:
         HF_TOKEN: ${{ secrets.HF_TOKEN }}
       run: git push https://mteb:[email protected]/spaces/mteb/leaderboard main