Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Supress output from git push in WPT sync.

Browse source
This commit is contained in:
Josh Matthews 2018-01-31 22:37:52 -05:00
parent 1bd3f0e9e4
commit b003f5ad06
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -94,7 +94,7 @@ function unsafe_open_pull_request() {
AUTH="${WPT_SYNC_USER}:${WPT_SYNC_TOKEN}"
UPSTREAM="https://${AUTH}@github.com/${WPT_SYNC_USER}/servo.git"
git remote add "${REMOTE_NAME}" "${UPSTREAM}" || return 2
git push -f "${REMOTE_NAME}" "${BRANCH_NAME}" || return 3
git push -f "${REMOTE_NAME}" "${BRANCH_NAME}" &>/dev/null || return 3
# Prepare the pull request metadata.
BODY="Automated downstream sync of changes from upstream as of "

2
etc/ci/upload_docs.sh
View file

@ -36,4 +36,4 @@ cd ../..
ghp-import -n target/doc
git push -qf \
"https://${TOKEN}@github.com/servo/doc.servo.org.git" gh-pages \
>/dev/null 2>&1
&>/dev/null