just: use resources from release for demodir

justfile

@@ -214,16 +214,11 @@ lint:
 
 demodir namespace="default": coordinator initializer
     #!/usr/bin/env bash
+    set -eu
     d=$(mktemp -d)
     echo "Creating demo directory at ${d}" >&2
-    cp -R ./deployments/emojivoto "${d}/deployment"
-    rm -f "${d}/deployment/coordinator.yml" "${d}/deployment/ns.yml"
-    nix run .#scripts.patch-contrast-image-hashes -- "${d}/deployment"
-    nix run .#kypatch images -- "${d}/deployment" \
-        --replace ghcr.io/edgelesssys ${container_registry}
-    nix run .#kypatch namespace -- "${d}/deployment" \
-        --replace edg-default {{ namespace }}
     nix run .#scripts.fetch-latest-contrast -- {{ namespace }} "${d}"
+    unzip -d "${d}" "${d}/emojivoto-demo.zip"
     echo "Demo directory ready at ${d}" >&2
     echo "${d}"