9a80dbab1f
backport: trigger also if label is set after the merge
2021-05-28 16:36:02 +02:00
95fa2dda18
backport: set correct permissions
2021-05-28 16:35:13 +02:00
b26fc090cb
backport action: comment to keep pin in sync
2021-05-25 09:44:35 +02:00
68e65592e3
Update .github/workflows/backport.yml
...
Co-authored-by: zowoq <59103226+zowoq@users.noreply.github.com>
2021-05-25 09:41:07 +02:00
fb3da87aa3
Update .github/workflows/backport.yml
...
Co-authored-by: zowoq <59103226+zowoq@users.noreply.github.com>
2021-05-25 07:14:12 +02:00
031ea8124c
Add backporting action
...
If "backport <branch>" label is applied to a PR,
once the PR is merged, github-actions bot will create another PR targeting
<branch> and cherry-picking commits.
2021-05-24 17:54:29 +02:00
Domen Kožar