Xavier Morel 0c882fc0df [IMP] runbot_merge: automation around branch deactivation ... Currently deactivating a branch kinda leaves users in the dark, with little way to know what has happened aside from inferring it from the branch having disappeared from the main dashboard. - surface the state of the branch in the PR dashboard (also surface the target branch at all so users can see if their PR is targeted as they expect as far as the mergebot is concerned) - close & notify every PR to a branch being deactivated - cancel any current staging to the branch (as a consequence of the above) Closes #632		2022-08-05 15:35:51 +02:00
..
alerts.md	[FIX] runbot_merge: also show banners on PR pages	2022-08-05 15:35:51 +02:00
branch.md	[IMP] runbot_merge: automation around branch deactivation	2022-08-05 15:35:51 +02:00
empty-body.md	[FIX] runbot_merge: correctly handle emptying PR body	2022-08-05 15:35:51 +02:00
pinging.md	[IMP] *: review mergebot & forwardbot messages for pinging	2022-06-30 15:07:49 +02:00
provisioning.md	[IMP] runbot_merge: provisioning features	2022-06-30 15:07:49 +02:00
ui.md	[FIX] runbot_merge: also show banners on PR pages	2022-08-05 15:35:51 +02:00
unstaging.md	[FIX] runbot_merge: unstage on staging-relevant PR modifications	2022-06-30 15:07:49 +02:00