ci: add merged event

uoslife · Mar 23, 2024 · 5f0c8df · 5f0c8df
1 parent f1f90b8
commit 5f0c8df
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
@@ -65,3 +65,19 @@ jobs:
       - uses: actions/checkout@v3
         with:
           persist-credentials: false
+
+  merge:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Merge publish to main
+        run: |
+          git config user.name "${{ github.actor }}"
+          git config user.email "${{ github.actor }}@users.noreply.github.com"
+          git checkout main
+          git merge --no-ff --no-edit publish
+          git push origin main