using gh cli instead of git cli

vocdoni · Nov 17, 2023 · 6bef32c · 6bef32c
1 parent 2d64818
commit 6bef32c
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/.github/workflows/verify-contribution.yml b/.github/workflows/verify-contribution.yml
@@ -21,9 +21,6 @@ jobs:
     - name: Merge PR branch
       if: success() && contains(github.event.pull_request.labels.*.name, 'automerge')
       run: |
-        git config --global user.name "${{ github.actor }}"
-        git config --global user.email "${{ github.actor }}@users.noreply.github.com"
-        git fetch origin ${{ github.base_ref }}
-        git checkout ${{ github.base_ref }}
-        git merge --no-ff ${{ github.head_ref }} -m "Automatically merging new contribution"
-        git push origin ${{ github.base_ref }}
+        gh pr merge --auto ${{ github.event.number }}
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}