git pull is going to be a tad broken for a bit due to the recent wpt changes <https://github.com/servo/servo/pull/5421>
To update to latest master, do the following: git checkout master rm -rf tests/wpt/web-platform-tests git pull upstream master -f You may shake your fist at git submodules whilst doing so. Try to rebase and push all of your open PRs to master, too, github chokes on these otherwise. You may need to do similar gymnastics whilst rebasing, *or* just simulate a rebase via cherry picks (checkouts take a while if you're crossing jgraham's PR) Thanks, -Manish Goregaokar _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
