# Copy to registry.env (gitignored, never commit the real values) and fill
# in your registry credentials. Used by build-image.sh, the numbered
# pipeline scripts, and upload-image.sh. Only REGISTRY_IMAGE is needed for
# local builds/runs; REGISTRY/REGISTRY_USER/REGISTRY_PASSWORD are only
# needed to push with upload-image.sh.
REGISTRY=
REGISTRY_IMAGE=gastronomy/tools
REGISTRY_USER=
REGISTRY_PASSWORD=