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
..
pre-migration.py	[IMP] runbot_merge: split staging heads out to join tables	2023-08-10 14:04:59 +02:00
upgrade.sql	[IMP] runbot_merge: split staging heads out to join tables	2023-08-10 14:04:59 +02:00