Xavier Morel b1af2e573a [IMP] runbot_merge: split staging heads out to join tables ... Currently the heads of a staging (both staging heads and merged heads) are just JSON data on the staging itself. Historically this was convenient as the heads were mostly of use to the staging process, and thus accessed directly through the staging essentially exclusively. However this makes finding stagings from merged commits e.g. for forensic research almost impossible, because querying based on the *values* of a JSON map is expensive, and indexing it is difficult. To make this use case more feasible, split the `heads` field into two join tables, one for the staging heads and one for the merged heads, this makes looking for stagings by commits much more efficient (although the queries may not be trivial). Also add two utility RPC methods, so that it's possible to query stagings reasonably easily and efficiently based on a set of commits (branch heads). related to #768		2023-08-10 14:04:59 +02:00
..
13.0.1.1	[FIX] runbot_merge: statuses migration script should be for 13.0	2020-01-29 13:29:21 +01:00
13.0.1.2	[IMP] runbot_merge: make review rights repo-dependent	2020-02-11 08:07:57 +01:00
13.0.1.3	[FIX] runbot_merge: make github_login case insensitive	2020-02-11 09:17:52 +01:00
13.0.1.4	[ADD] runbot_merge: migration for repository status split	2020-07-14 13:34:05 +02:00
13.0.1.5	[CHG] runbot_merge: branch_ids -> branch_filter	2020-10-02 15:28:36 +02:00
13.0.1.6	[IMP] runbot_merge, forwardport: minor cleanups	2023-08-10 13:33:16 +02:00
13.0.1.7	[FIX] runbot_merge: add migration for draft column (#523)	2021-08-25 15:59:22 +02:00
15.0.1.8	[IMP] runbot_merge: split staging heads out to join tables	2023-08-10 14:04:59 +02:00