From bb278c96917f9d12100d4459fa68338c2c5a1c8b Mon Sep 17 00:00:00 2001
From: Mattia Lavacca <lavacca.mattia@gmail.com>
Date: Tue, 30 Apr 2024 16:04:33 +0200
Subject: [PATCH] chore: backport workflow added (#237)

Signed-off-by: Mattia Lavacca <lavacca.mattia@gmail.com>
(cherry picked from commit f047df539dfb68148b881977401d38cdcae37fe7)
---
 .github/workflows/backport.yaml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 .github/workflows/backport.yaml

diff --git a/.github/workflows/backport.yaml b/.github/workflows/backport.yaml
new file mode 100644
index 000000000..d99ccd021
--- /dev/null
+++ b/.github/workflows/backport.yaml
@@ -0,0 +1,27 @@
+name: Backport
+on:
+  pull_request_target:
+    types:
+      - closed
+      - labeled
+
+jobs:
+  backport:
+    timeout-minutes: ${{ fromJSON(vars.GHA_DEFAULT_TIMEOUT) }}
+    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.PAT_GITHUB }}