Skip to content

Commit

Permalink
Merge pull request #14069 from infosiftr/diff-pr-external-pins
Browse files Browse the repository at this point in the history
Update external-pins diffing to match normal diffing
  • Loading branch information
yosifkit authored Feb 10, 2023
2 parents a6ff0f4 + 77fbe15 commit bd72690
Showing 1 changed file with 11 additions and 1 deletion.
12 changes: 11 additions & 1 deletion diff-pr.sh
Original file line number Diff line number Diff line change
Expand Up @@ -295,7 +295,17 @@ _metadata-files() {
mkdir -p "$dir"
bashbrew remote arches --json "$pin@$digest" | jq -S . > "$dir/bashbrew.json"
local manifests manifest
manifests="$(jq -r '[ .arches[][].digest | @sh ] | join(" ")' "$dir/bashbrew.json")"
manifests="$(jq -r '
[ (
.arches
| if has(env.BASHBREW_ARCH) then
.[env.BASHBREW_ARCH]
else
.[keys_unsorted | first]
end
)[].digest | @sh ]
| join(" ")
' "$dir/bashbrew.json")"
eval "manifests=( $manifests )"
for manifest in "${manifests[@]}"; do
crane manifest "$pin@$manifest" | jq -S . > "$dir/manifest-${manifest//:/_}.json"
Expand Down

0 comments on commit bd72690

Please sign in to comment.