friendly ping on <https github com pantsbuild pants pull 173 Pants #development

friendly ping on <https://github.com/pantsbuild/pa...

curved-television-6568

01/24/2023, 10:27 PM

friendly ping on https://github.com/pantsbuild/pants/pull/17347 would like to get it off my table, to make room for new stuff.. 😉

curved-television-6568

01/25/2023, 2:34 AM

And this one for improved `@rule` inference is also ready for another (final?) round of reviews..

3 Views