Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
None
-
None
Description
When merging two relsets, we have two preferences:
1. Merge parent relset into child relset
2. Merge newer relset into older relset
Currently, when the two relsets are parent set of each other, we randomly pick a merge order without checking the second condition above. For performance reasons, we should, to avoid unnecessary churn.
Attachments
Issue Links
- links to