6 commits

Author	SHA1	Message	Date
Domen Kožar	9a80dbab1f	backport: trigger also if label is set after the merge	2021-05-28 16:36:02 +02:00
Domen Kožar	95fa2dda18	backport: set correct permissions	2021-05-28 16:35:13 +02:00
Domen Kožar	b26fc090cb	backport action: comment to keep pin in sync	2021-05-25 09:44:35 +02:00
Domen Kožar	68e65592e3	Update .github/workflows/backport.yml ... Co-authored-by: zowoq <59103226+zowoq@users.noreply.github.com>	2021-05-25 09:41:07 +02:00
Domen Kožar	fb3da87aa3	Update .github/workflows/backport.yml ... Co-authored-by: zowoq <59103226+zowoq@users.noreply.github.com>	2021-05-25 07:14:12 +02:00
Domen Kožar	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