mirror of
https://github.com/odoo/runbot.git
synced 2025-03-15 23:45:44 +07:00

- 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
94 B
94 B
IMP: notifications when reopening a closed forward-port (e.g. indicate that they're detached)