Skip to content

Minor (docs): Update how-to-use-the-playground.md document #2816

Minor (docs): Update how-to-use-the-playground.md document

Minor (docs): Update how-to-use-the-playground.md document #2816

name: Automatically cherry-pick merged PR to different branches
on:
pull_request_target:
branches:
- main
types: ["closed"]
jobs:
cherry_pick_branch_0_5:
runs-on: ubuntu-latest
name: Cherry pick into branch_0.5
if: ${{ contains(github.event.pull_request.labels.*.name, 'branch-0.5') && github.event.pull_request.merged == true }}
steps:
- name: Checkout
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Cherry pick into branch-0.5
uses: carloscastrojumo/github-cherry-pick-action@v1.0.9
with:
branch: branch-0.5
labels: |
cherry-pick
reviewers: |
jerryshao
cherry_pick_branch_0_6:
runs-on: ubuntu-latest
name: Cherry pick into branch_0.6
if: ${{ contains(github.event.pull_request.labels.*.name, 'branch-0.6') && github.event.pull_request.merged == true }}
steps:
- name: Checkout
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Cherry pick into branch-0.6
uses: carloscastrojumo/github-cherry-pick-action@v1.0.9
with:
branch: branch-0.6
labels: |
cherry-pick
reviewers: |
jerryshao
cherry_pick_branch_0_7:
runs-on: ubuntu-latest
name: Cherry pick into branch_0.7
if: ${{ contains(github.event.pull_request.labels.*.name, 'branch-0.7') && github.event.pull_request.merged == true }}
steps:
- name: Checkout
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Cherry pick into branch-0.7
uses: carloscastrojumo/github-cherry-pick-action@v1.0.9
with:
branch: branch-0.7
labels: |
cherry-pick
reviewers: |
jerryshao
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}