diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-03-28 14:11:55 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-28 14:11:55 -0400 |
| commit | fcd6beb60819ef2960f70d10e82fa31ba56cc99b (patch) | |
| tree | 389635de7fc4d5f177597fe0c32fe61d0e73484b /python/servo/bootstrap.py | |
| parent | cd8b9cab22ba375628b9f47ed0b589397817e145 (diff) | |
| parent | 296f848f2b6e34fc1397558fdcac3799d94bd20c (diff) | |
| download | servo-fcd6beb60819ef2960f70d10e82fa31ba56cc99b.tar.gz servo-fcd6beb60819ef2960f70d10e82fa31ba56cc99b.zip | |
Auto merge of #23112 - servo:jdm-patch-31, r=Manishearth
Use consistent local branch name for WPT sync.
This avoids the problem of the WPT sync running two commands on different dates and therefore not finding the previously created branch.
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #23052
<!-- 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/23112)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/bootstrap.py')
0 files changed, 0 insertions, 0 deletions