diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2020-01-15 13:12:39 +0100 |
|---|---|---|
| committer | Kristian Evers <kristianevers@gmail.com> | 2020-01-15 13:12:39 +0100 |
| commit | 6630991e9ad55a0b7e34f6f00f8f102529328d73 (patch) | |
| tree | 0da33673f46b17e94d0470f2d91561e827b0898c /.github | |
| parent | 34ff658696aedebac8e78219b8df5db6716c86de (diff) | |
| download | PROJ-6630991e9ad55a0b7e34f6f00f8f102529328d73.tar.gz PROJ-6630991e9ad55a0b7e34f6f00f8f102529328d73.zip | |
Reintroduce backport bot, now using a dedicated PROJ bot
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/backport.yml | 20 |
1 files changed, 20 insertions, 0 deletions
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 }} |