push: Don't default to `DOCKER_DEFAULT_PLATFORM`, improve message#5246

Merged

vvoland merged 3 commits intodocker:masterfrom vvoland:push-nodefault-pre146

Jul 11, 2024

+39-21

Commits on Jul 9, 2024

Commits on Jul 10, 2024

push: Improve note message and colors
vvoland
committed