From 6630991e9ad55a0b7e34f6f00f8f102529328d73 Mon Sep 17 00:00:00 2001
From: Kristian Evers <kristianevers@gmail.com>
Date: Wed, 15 Jan 2020 13:12:39 +0100
Subject: Reintroduce backport bot, now using a dedicated PROJ bot

---
 .github/workflows/backport.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .github/workflows/backport.yml

(limited to '.github/workflows')

diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml
new file mode 100644
index 00000000..aa48cff3
--- /dev/null
+++ b/.github/workflows/backport.yml
@@ -0,0 +1,20 @@
+name: Backport
+on:
+  pull_request:
+    types:
+      - closed
+      - labeled
+
+jobs:
+  backport:
+    runs-on: ubuntu-18.04
+    name: Backport
+    steps:
+      - name: Backport Bot
+        if: contains( join(github.event.pull_request.labels.*.name), 'backport')
+        uses: Gaurav0/backport@v1.0.24
+        with:
+          bot_username: PROJ-BOT
+          bot_token: c1c49a5799d0a3a3885db8a4792880cbe509c1d6
+          bot_token_key: b01bdebf64595ed77207019258316df1b05ff6ac
+          github_token: ${{ secrets.GITHUB_TOKEN }}
-- 
cgit v1.2.3