diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-02-01 18:09:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-01 18:09:55 -0500 |
| commit | b5e5a99cb773a8df6f8f2ee40d8ae42ae46bab92 (patch) | |
| tree | 575017eb5ccae588ebdc6155191493223267ad2e /components/style/stylesheet_set.rs | |
| parent | ac9b1cfd038e94c5aae6b580c54c052f77d8324b (diff) | |
| parent | b003f5ad060c58aca7887f72e5995c66df729874 (diff) | |
| download | servo-b5e5a99cb773a8df6f8f2ee40d8ae42ae46bab92.tar.gz servo-b5e5a99cb773a8df6f8f2ee40d8ae42ae46bab92.zip | |
Auto merge of #19920 - servo:jdm-patch-10, r=aneeshusa
Supress output from git push in WPT sync.
Pushing to the remote exposes sensitive data in the logs of the job. The old token has been revoked as a consequence.
<!-- 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/19920)
<!-- Reviewable:end -->
Diffstat (limited to 'components/style/stylesheet_set.rs')
0 files changed, 0 insertions, 0 deletions