Stephan Kulow 578fb2a30a Change tree pruning algorithm
The first merge we see in Factory determines if we keep the devel
commits in the factory chain or cut that branch.
2022-11-01 13:52:15 +01:00
..
2022-11-01 13:52:15 +01:00
2022-11-01 11:37:30 +01:00
2022-11-01 13:52:15 +01:00