summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2022-11-16 23:49:14 +0100
committerGitHub <noreply@github.com>2022-11-16 23:49:14 +0100
commit6331d957a8ffc39a10323273192210ffab9ff9db (patch)
treeed321def7477af2f1def5b1c3f3d64d5237c1e84 /.github
parentd46d61320569891abcbb0cfbc160c5495fbb877c (diff)
downloadpylint-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.yml25
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 }}