Xavier Morel 62fbda52a8 [IMP] runbot_merge: a PR can't be reopened if its batch is merged ... In that case, ignore the reopen, close the PR, and tell the idiot to fuck off. Also the case where a PR is reopened while its batch is staged was already handled, but probably not tested: it was implicit in forcefully updating the HEAD of the PR, which triggers an unstage since c8a06601a7. Now that scenario is tested, which should lower the odds of breaking it in the future. Fixes #965		2024-12-09 16:02:28 +01:00
..
__init__.py	[IMP] runbot_merge: a PR can't be reopened if its batch is merged	2024-12-09 16:02:28 +01:00
dashboard.py	[MERGE] runbot_merge, forwardport: latest updates	2024-11-19 12:18:59 +01:00
reviewer_provisioning.py	[FIX] runbot_merge: make provisioning more resilient	2023-06-21 14:26:19 +02:00