Xavier Morel afe4d13eeb [FIX] forwardport: fix pinging on forwardport PRs ... - avoid pinging the author of the fw PR (which is the forward-bot itself) - instead ping the author and reviewer of the source, and possibly the reviewer of the PR if any - might also be a good idea to ping reviewers of intermediate PRs?		2022-12-01 10:57:32 +01:00
..
2021-09	[ADD] mergebot, forwardbot: changelog	2021-10-20 15:16:48 +02:00
2021-10	[ADD] mergebot, forwardbot: changelog	2021-10-20 15:16:48 +02:00
2022-06	[IMP] forwardport: flag detached PRs in their dashboard	2022-06-30 15:07:49 +02:00
2022-10	[FIX] forwardport: fix pinging on forwardport PRs	2022-12-01 10:57:32 +01:00