late-advantage-75311
10/23/2023, 12:45 PM--scalafmt-skip all the time. You have different suggestions for what should be done for https://github.com/pantsbuild/pants/pull/19940 to be ready. How can we proceed? In its current form the PR does addresses the immediate pain point, and I have no preference over which way to go to land it.late-advantage-75311
10/23/2023, 7:07 PMhappy-kitchen-89482
10/23/2023, 8:10 PMhappy-kitchen-89482
10/23/2023, 8:10 PMlate-advantage-75311
10/23/2023, 8:21 PMknown_versions into a separate feature PR and have the coursier fix depend on it. (or can do it within the same pr if that would be better)late-advantage-75311
10/23/2023, 9:19 PMhappy-kitchen-89482
10/24/2023, 2:42 AMlate-advantage-75311
10/24/2023, 1:49 PM