diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-11-16 23:49:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-16 23:49:14 +0100 |
commit | 6331d957a8ffc39a10323273192210ffab9ff9db (patch) | |
tree | ed321def7477af2f1def5b1c3f3d64d5237c1e84 /.github | |
parent | d46d61320569891abcbb0cfbc160c5495fbb877c (diff) | |
download | pylint-git-6331d957a8ffc39a10323273192210ffab9ff9db.tar.gz |
[release process] Add a github actions to backport fix automatically (#7776)
Based on https://github.com/tibdex/backport which seems awfully conveniant.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/backport.yml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml new file mode 100644 index 000000000..6641ea8da --- /dev/null +++ b/.github/workflows/backport.yml @@ -0,0 +1,25 @@ +name: Backport +on: + pull_request_target: + types: + - closed + - labeled + +jobs: + backport: + name: Backport + runs-on: ubuntu-latest + # Only react to merged PRs for security reasons. + # See https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target. + if: > + github.event.pull_request.merged && ( + github.event.action == 'closed' + || ( + github.event.action == 'labeled' + && contains(github.event.label.name, 'backport') + ) + ) + steps: + - uses: tibdex/backport@v2 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} |