-
Notifications
You must be signed in to change notification settings - Fork 38
Open
Description
whatwg/dom#877 includes lots of other changes, where I had a .spec.whatwg.org directory in my dom/ checkout, after a bug fixed in whatwg/whatwg.org#325.
The script should either fail if there are any local changes, or just make fresh copies of all repos. As it is, it assumes you have all repos checkout out alongside spec-factory, but how to keep those up-to-date is an exercise for the reader. Here's the script I've arrived at over time:
#!/bin/bash -e
curl --silent --fail "https://api.github.com/orgs/whatwg/repos?per_page=100" | \
#grep -E '^ "name":' | cut -d \" -f4 | \
#grep -vE '^(domparsing|javascript|old-google-code-html5|resources.whatwg.org)$' | \
jq -r '.[] | select(.archived == false) | .name' | sort | \
while read name; do
if [[ -d "$name" ]]; then
echo "Updating $name"
(
cd "$name"
git fetch --prune
git rebase-update --no-fetch --keep-going
)
else
echo "Cloning $name"
git clone "[email protected]:whatwg/$name.git"
fi
doneIt would be good if it just works instead.
Metadata
Metadata
Assignees
Labels
No labels