hello all 👋 this I open this PR a few weeks ago, I think it's fairly straight forward to merge, as it's just filling a small oversight, not a new feature or anything, would it be possible to take a look? github.com/pantsbuild/pants/pull/23532

Thanks! I'm out and about a bit due to vacation, but happy to take a look probably tomorrow

thanks for the reviews, I think the second round of comments are addressed now