Merge branch 'main' into wt-config-doc

risingwavelabs · Feb 4, 2024 · 6e18f42 · 6e18f42
2 parents ee8e566 + f7b5a15
commit 6e18f42
Show file tree

Hide file tree

Showing 392 changed files with 16,092 additions and 5,873 deletions.
diff --git a/.github/workflows/cherry-pick-to-release-branch.yml b/.github/workflows/cherry-pick-to-release-branch.yml
@@ -6,8 +6,8 @@ on:
     types: ["closed"]
 
 jobs:
-  release_pull_request_1_5:
-    if: "contains(github.event.pull_request.labels.*.name, 'need-cherry-pick-release-1.5')  &&  github.event.pull_request.merged == true"
+  release_pull_request_1_7:
+    if: "contains(github.event.pull_request.labels.*.name, 'need-cherry-pick-release-1.7')  &&  github.event.pull_request.merged == true"
     runs-on: ubuntu-latest
     name: release_pull_request
     steps:
@@ -16,9 +16,9 @@ jobs:
       - name: Create PR to branch
         uses: risingwavelabs/github-action-cherry-pick@master
         with:
-          pr_branch: 'release-1.5'
+          pr_branch: 'release-1.7'
           pr_labels: 'cherry-pick'
-          pr_body: ${{ format('Cherry picking \#{0} onto branch release-1.5', github.event.number) }}
+          pr_body: ${{ format('Cherry picking \#{0} onto branch release-1.7', github.event.number) }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}