Fix issue with Docker publish when using `[docker] tools`. (#15255)
Fix issue with Docker publish when using `[docker] tools`. (#15255)

Closes #15252.

[ci skip-rust]
benjyw/pants,benjyw/pants,benjyw/pants,benjyw/pants,benjyw/pants,benjyw/pants,pantsbuild/pants,pantsbuild/pants,pantsbuild/pants,pantsbuild/pants,pantsbuild/pants,benjyw/pants,pantsbuild/pants,pantsbuild/pants