runbot/forwardport/changelog/2022-06/closed.md
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

94 B

IMP: notifications when reopening a closed forward-port (e.g. indicate that they're detached)