Plumb in the default repository and tag names from the top level build defaults and buildConfig, which can also be overridden during Docker build or bake.
Irrelevant, after biting the bullet in Agoric/agoric-sdk#10083 and modifying input package.jsons before the Agoric SDK prepare-build, and its output docker-bake.hcl afterwards.
Plumb in the default repository and tag names from the top level build defaults and buildConfig, which can also be overridden during Docker build or bake.