summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorPierre Sassoulas <pierre.sassoulas@gmail.com>2022-12-26 22:31:21 +0100
committerGitHub <noreply@github.com>2022-12-26 22:31:21 +0100
commit8dd0adc34bb6f02a589ce4cd9e0aa00c13c15da6 (patch)
tree201bd702a270c2519211e0ca141d5fbd418dd466 /.github
parent82a0d51caa3aee24f74c4268120079d4f01467fd (diff)
downloadastroid-git-8dd0adc34bb6f02a589ce4cd9e0aa00c13c15da6.tar.gz
[github actions] Add the same backporting job than in pylint (#1918)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/backport.yml29
1 files changed, 29 insertions, 0 deletions
diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml
new file mode 100644
index 00000000..4c2639b5
--- /dev/null
+++ b/.github/workflows/backport.yml
@@ -0,0 +1,29 @@
+name: Backport
+on:
+ pull_request_target:
+ types:
+ - closed
+ - labeled
+
+permissions:
+ pull-requests: write
+ contents: write
+
+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@2e217641d82d02ba0603f46b1aeedefb258890ac # v2.0.3
+ with:
+ github_token: ${{ secrets.GITHUB_TOKEN }}