Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/ofborg
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: df70843abb2c
Choose a base ref
...
head repository: NixOS/ofborg
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: bb364c5857fb
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Aug 7, 2018

  1. Handle case-sensitive usernames by lowercasing

    @grahamc
    grahamc committed Aug 7, 2018
    Copy the full SHA
    4c635fa View commit details

  2. Merge pull request #212 from NixOS/config-updates 

    Handle case-sensitive usernames by lowercasing
    @grahamc
    grahamc authored Aug 7, 2018
    Copy the full SHA
    bb364c5 View commit details
Showing with 5 additions and 2 deletions.
  1. +5 −2 scripts/update-known-users.sh
7 changes: 5 additions & 2 deletions scripts/update-known-users.sh
View file
Original file line number Diff line number Diff line change
@@ -15,7 +15,7 @@ function fetch_users() {
| jq 'map(.login | ascii_downcase)'
}

cp ./config.extra-known-users.json "$accumulator"
jq "map(ascii_downcase)" ./config.extra-known-users.json > "$accumulator"

page=0
while true; do
@@ -34,4 +34,7 @@ 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
jq -s '.[0] * .[1] * .[2]' \
./config.public.json \
./config.known-users.json \
./config.private.json > ./config.prod.json