https://pantsbuild.org/ logo
#development
Title
# development
b

broad-processor-92400

04/24/2023, 2:49 AM
@curved-television-6568 it looks like https://github.com/pantsbuild/pants/pull/18806 and https://github.com/pantsbuild/pants/pull/18807 are good to go for 2.16 (per @happy-kitchen-89482's comments). Given it sounds like you're running a release right now, should I hold off on merging and they just go out in rc2, or should I merge now and get them into rc1?
c

curved-television-6568

04/24/2023, 3:03 AM
you can merge them now, but the version bump for rc1 is already built
👍 1