Add stable-website cherry-pick action (#8427)

This commit is contained in:
Jim Kalafut 2020-02-27 00:08:03 -05:00 committed by GitHub
parent 90e8d9267d
commit 9954ee6754
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 21 additions and 0 deletions

21
.github/workflows/stable-website.yaml vendored Normal file
View File

@ -0,0 +1,21 @@
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
uses: actions/checkout@v2
with:
ref: stable-website
- run: |
git fetch --no-tags --prune origin +refs/heads/*:refs/remotes/origin/*
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