Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 13:40:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Include non-upstream metadata changes in WPT sync.

Browse source
This commit is contained in:
Josh Matthews 2018-02-23 10:21:52 -05:00 • committed by GitHub
parent 0fa3248723
commit 5b050d093e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
etc/ci/update-wpt-checkout
View file

@ -67,12 +67,10 @@ function unsafe_run_tests() {
# last commit with the new results. # last commit with the new results.
function unsafe_update_metadata() { function unsafe_update_metadata() {
./mach update-wpt "${1}" || return 1 ./mach update-wpt "${1}" || return 1
# Ignore any metadata changes to files that weren't modified by this sync.
git checkout -- tests/wpt/mozilla/meta || return 2
# Ensure any new directories or ini files are included in these changes. # Ensure any new directories or ini files are included in these changes.
git add tests/wpt/metadata || return 3 git add tests/wpt/ || return 2
# Merge all changes with the existing commit. # Merge all changes with the existing commit.
git commit -a --amend --no-edit || return 4 git commit -a --amend --no-edit || return 3
} }
# Push the branch to a remote branch, then open a PR for the branch # Push the branch to a remote branch, then open a PR for the branch