Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-02 04:53:39 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #20321 - servo:jdm-patch-6, r=emilio

Browse source 
Remove update-manifest argument that is no longer valid.

This nightly sync job is now broken since #20312 because it doesn't need to select a particular binary. We can get rid of the unnecessary argument to fix it.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/20321)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2018-03-16 21:51:35 -04:00 • committed by GitHub
commit 2f8fa32e91
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -41,7 +41,7 @@ function unsafe_pull_from_upstream() {
fi
# Update the manifest to include the new changes.
./mach update-manifest --release || return 3
./mach update-manifest || return 3
# Amend the existing commit with the new changes from updating the manifest.
git commit -a --amend --no-edit || return 4