The day got away from me, so I'll start the dev release tonight, probably, and complete it tomorrow or sunday, probably...

Could we try including https://github.com/pantsbuild/pants/pull/7628 please? It would be extremely useful for debugging an issue with the setup repo @aloof-angle-91616 @witty-crayon-22786 do you have a minute to review? Feel free to merge, I’m with friends next two hours

merging, thanks

thanks!

Thank you!

(thanks stu!)

That'll be in the release