diff options
| author | Domen Kožar <domen@dev.si> | 2021-05-28 16:36:02 +0200 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2021-05-28 16:36:02 +0200 |
| commit | 9a80dbab1fdd6715662a9097f2cafa8fa1c6b4b5 (patch) | |
| tree | 98dc48e6a1d8b681df6cc243d5942dd10a080671 /.github/workflows | |
| parent | 95fa2dda186b637fd4e798fa5bac5f24bf4fda61 (diff) | |
backport: trigger also if label is set after the merge
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/backport.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml index 39c8a34bf9d6a..766b5aa831a3c 100644 --- a/.github/workflows/backport.yml +++ b/.github/workflows/backport.yml @@ -1,7 +1,7 @@ name: Backport on: pull_request_target: - types: [closed] + types: [closed, labeled] jobs: backport: name: Backport Pull Request |