https://pantsbuild.org/ logo
#general
Title
# general
q

quick-dusk-75952

06/10/2022, 4:05 PM
in case this is of interest to anyone else: https://github.com/pantsbuild/pants/issues/15775
p

polite-garden-50641

06/10/2022, 4:16 PM
f

fast-nail-55400

06/10/2022, 4:35 PM
There’s still some design work to be done as identified in the comments to that PR, so that PR will probably need to be changed. I also don’t know when I’m going to have a chance to work on it. Certainly not this month.
b

busy-vase-39202

06/10/2022, 4:45 PM
@fast-nail-55400 by any chance is there any part of it that someone else could contribute usefully to this month while you're unavailable...?
f

fast-nail-55400

06/10/2022, 4:47 PM
probably if we finalized the design discussion that had been done on the google doc linked at https://github.com/pantsbuild/pants/pull/15093#issuecomment-1120121933