runbot/forwardport/changelog
Xavier Morel 4e70b1acbb [FIX] forwardport: detached / closed PR clarifications
- trying to r+ a detached PR *via the forwardbot* should warn, same as
  a non-forwardport PR
- the following sibling of a closed PR should be detached from
  it (probably)
- when a closed forward-port PR is reopened, there should be a
  notification that it is detached and merged via mergebot

Fixes #617
2022-06-30 15:07:49 +02: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 [FIX] forwardport: detached / closed PR clarifications 2022-06-30 15:07:49 +02:00