Automatically merge pull request upon extension build (#3539)

kuzudb · May 24, 2024 · d794c64 · d794c64
1 parent 52f99f5
commit d794c64
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build-extensions.yml b/.github/workflows/build-extensions.yml
@@ -312,3 +312,7 @@ jobs:
             --title "Update extensions (CI) - $RELEASE_VERSION" \
             --head "extensions-update-${{ github.sha }}" \
             --base "main"
+
+      - name: Merge pull request
+        run: |
+          gh pr merge --auto --squash --delete-branch