backport: trigger also if label is set after the merge
parent
95fa2dda18
commit
9a80dbab1f
|
@ -1,7 +1,7 @@
|
||||||
name: Backport
|
name: Backport
|
||||||
on:
|
on:
|
||||||
pull_request_target:
|
pull_request_target:
|
||||||
types: [closed]
|
types: [closed, labeled]
|
||||||
jobs:
|
jobs:
|
||||||
backport:
|
backport:
|
||||||
name: Backport Pull Request
|
name: Backport Pull Request
|
||||||
|
|
Loading…
Reference in New Issue