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:
https://github.com/whatwg/dom/pull/877 includes lots of other changes, where I had a
.spec.whatwg.org
directory in my dom/ checkout, after a bug fixed in https://github.com/whatwg/whatwg.org/pull/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:
It would be good if it just works instead.