Update users, merge the scripts

config.known-users.json

@@ -34,6 +34,7 @@
       "disassembler",
       "domenkozar",
       "dotlambda",
+      "dtzwill",
       "dywedir",
       "edolstra",
       "edwtjo",

scripts/merge-config.sh

@@ -1,4 +0,0 @@
-#!/usr/bin/env nix-shell
-#!nix-shell -p bash -p jq -p curl -i bash
-
-jq -s '.[0] * .[1] * .[2]' ./config.public.json ./config.known-users.json ./config.private.json > ./config.prod.json

scripts/update-known-users.sh

@@ -33,3 +33,5 @@ done
 jq -s '{ "runner": { "known_users": .[0]}}' "$accumulator" > "$dest"
 
 rm -f "$result" "$scratch" "$accumulator"
+
+jq -s '.[0] * .[1] * .[2]' ./config.public.json ./config.known-users.json ./config.private.json > ./config.prod.json