Merge branch 'deployment-environments'

Author: shlevy

.github/workflows/deploy.yml

@@ -2,7 +2,9 @@ name: "Deploy"
 on:
   push:
     branches:
-      - bitte
+      - marlowe-dist-demo # production, TODO this should be from the marlowe-production branch
+      - master # staging
+      # TODO need branches for wyohack and plutus-production
 jobs:
   deploy:
     runs-on: ubuntu-latest

scripts/deploy-bitte

@@ -24,7 +24,9 @@ fi
 
 declare -A ref_env_mapping=(
     # TODO Make this the production branch
-    [bitte]=production
+    [marlowe-dist-demo]=production
+    [master]=staging
+    # TODO need branches for wyohack and plutus-production
 )
 
 if [ ! -v 'ref_env_mapping[${plutus_ref}]' ]
@@ -59,7 +61,7 @@ declare -r tmp
 cat > "${tmp}/${plutus_env}.cue" <<EOF
 package revisions
 
-${plutus_env}: "${plutus_rev}"
+"${plutus_env}": "${plutus_rev}"
 EOF