fix: replace auto merge with echo (#5)

arangoml · Dec 30, 2021 · 750215d · 750215d
1 parent 85d708f
commit 750215d
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -126,11 +126,5 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
-      - name: Set pull request to auto-merge as rebase
-        run: |
-          gh pr merge $PR_URL \
-            --admin \
-            --delete-branch \
-            --rebase
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: Alert developer of open PR
+        run: echo "Hi dev! Please go see $PR_URL"