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

vvoland merged 3 commits intodocker:masterdocker/cli:masterfrom

vvoland:push-nodefault-pre146vvoland/cli:push-nodefault-pre146Copy head branch name to clipboard