Merge branch 'main' into xxh/redis-sink

risingwavelabs · Sep 4, 2023 · 99d1431 · 99d1431
2 parents 902c0a4 + 033924d
commit 99d1431
Show file tree

Hide file tree

Showing 120 changed files with 1,929 additions and 893 deletions.
diff --git a/.github/workflows/cherry-pick-to-release-branch.yml b/.github/workflows/cherry-pick-to-release-branch.yml
@@ -22,3 +22,19 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
+  release_pull_request_1_2:
+    if: "contains(github.event.pull_request.labels.*.name, 'need-cherry-pick-v1.2')  &&  github.event.pull_request.merged == true"
+    runs-on: ubuntu-latest
+    name: release_pull_request
+    steps:
+      - name: checkout
+        uses: actions/checkout@v1
+      - name: Create PR to branch
+        uses: risingwavelabs/github-action-cherry-pick@master
+        with:
+          pr_branch: 'v1.2-rc'
+          pr_labels: 'cherry-pick'
+          pr_body: ${{ format('Cherry picking \#{0} onto branch v1.2-rc', github.event.number) }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+