The branch 'mikael/heads/pr115494_v01' in namespace 'refs/users' was deleted. It previously pointed to:
6c41f4ab1f64... tree-optimization: Always select a representative available Diff: !!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST): ------------------------------------------------------------------- 6c41f4a... tree-optimization: Always select a representative available cf2fdd5... Add test.