Xavier Morel 884306428e [FIX] runbot_merge: avoid disappearing closed batches from stagings ... This is only a temporary / partial fix (see #1100 for further issues) but it solves the most obvious problem of a batch having a single PR, being staged, the staging fails, the PR gets closed, and the batch disappearing from the staging. The issue remains that stagings don't actually reflect the state as of the staging, since they link to the updated version of batches rather than the version as of staging. That probably can't be fixed if we want to keep track of everything *but* for documentary and display purposes the staging should store the state of batches and PRs (e.g. as JSON) as of its creation. Fixes #1079		2025-03-13 12:21:21 +01:00
..
batch.xml	[ADD] runbot_merge: merge dates of PRs in PR dashboard table	2025-03-07 09:40:19 +01:00
configuration.xml	[FIX] runbot_merge: menus	2024-08-16 14:19:13 +02:00
mergebot.xml	[IMP] runbot_merge: staging form	2025-01-20 16:04:02 +01:00
queues.xml	[IMP] runbot_merge: inspectability of patch parsing	2024-12-02 16:32:53 +01:00
res_partner.xml	[FIX] runbot_merge: layout backend issues galore	2024-08-16 15:12:04 +02:00
runbot_merge_project.xml	[FIX] runbot_merge: disable autosave on boolean toggles	2025-02-12 14:28:18 +01:00
templates.xml	[FIX] runbot_merge: avoid disappearing closed batches from stagings	2025-03-13 12:21:21 +01:00