2020-02-27 05:08:03 +00:00
|
|
|
on:
|
|
|
|
pull_request:
|
|
|
|
types:
|
|
|
|
- closed
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
stable_website_cherry_pick:
|
|
|
|
if: github.event.pull_request.merged && contains(github.event.pull_request.labels.*.name, 'docs-cherrypick')
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
name: Cherry pick to stable-website branch
|
|
|
|
steps:
|
|
|
|
- name: Checkout
|
2023-07-05 21:19:49 +00:00
|
|
|
uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
|
2020-02-27 05:08:03 +00:00
|
|
|
with:
|
|
|
|
ref: stable-website
|
|
|
|
- run: |
|
2021-06-18 18:24:54 +00:00
|
|
|
git fetch --no-tags --prune origin main
|
2020-02-27 05:08:03 +00:00
|
|
|
git config --local user.email "action@github.com"
|
|
|
|
git config --local user.name "GitHub Action"
|
|
|
|
git cherry-pick ${{ github.sha }}
|
|
|
|
git push origin stable-website
|