Handle case-sensitive usernames by lowercasing

This commit is contained in:
Graham Christensen 2018-08-07 16:32:01 -04:00
parent 67406a7a18
commit 4c635fabc9
No known key found for this signature in database
GPG key ID: ACA1C1D120C83D5C

View file

@ -15,7 +15,7 @@ function fetch_users() {
| jq 'map(.login | ascii_downcase)' | jq 'map(.login | ascii_downcase)'
} }
cp ./config.extra-known-users.json "$accumulator" jq "map(ascii_downcase)" ./config.extra-known-users.json > "$accumulator"
page=0 page=0
while true; do while true; do
@ -34,4 +34,7 @@ jq -s '{ "runner": { "known_users": .[0]}}' "$accumulator" > "$dest"
rm -f "$result" "$scratch" "$accumulator" rm -f "$result" "$scratch" "$accumulator"
jq -s '.[0] * .[1] * .[2]' ./config.public.json ./config.known-users.json ./config.private.json > ./config.prod.json jq -s '.[0] * .[1] * .[2]' \
./config.public.json \
./config.known-users.json \
./config.private.json > ./config.prod.json