diff options
author | Domen Kožar <domen@dev.si> | 2021-05-24 17:42:28 +0200 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2021-05-24 17:54:29 +0200 |
commit | 031ea8124ced3bb2bd5522933140713d0c4d8362 (patch) | |
tree | ec87233c3c9c72da75bc383fd91ff228a2d804d9 /.github | |
parent | 0f08ac19244f786153ead4530a39ecb1dbe8969d (diff) |
Add backporting action
If "backport <branch>" label is applied to a PR,
once the PR is merged, github-actions bot will create another PR targeting
<branch> and cherry-picking commits.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/backport.yml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml new file mode 100644 index 000000000000..375132133ca9 --- /dev/null +++ b/.github/workflows/backport.yml @@ -0,0 +1,20 @@ +name: Backport +on: + pull_request: + types: [closed] +jobs: + backport: + name: Create backport PRs + if: github.event.pull_request.merged == true + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2.3.4 + with: + # required to find all branches + fetch-depth: 0 + - name: Create backport PRs + uses: zeebe-io/backport-action@9b8949dcd4295d364b0939f07d0c7593598d26cd + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + github_workspace: ${{ github.workspace }} + version: 9b8949dcd4295d364b0939f07d0c7593598d26cd |