Dennis Keck
11/05/2025, 6:01 PMPylon
11/05/2025, 6:01 PMPylon
11/05/2025, 6:43 PMDennis Keck
11/07/2025, 2:37 PMclosed instead of merged) as show stoppers.Pylon
11/07/2025, 5:50 PMclosed vs merged status in GitHub is a necessary trade-off for using that optimization feature. Our team is in the early stages of exploring possible alternatives for the latter issue that would allow merged status in GH.Nikolaus
11/19/2025, 3:28 PMNikolaus
11/19/2025, 3:30 PMNikolaus
11/19/2025, 3:31 PMPylon
11/19/2025, 3:57 PM