Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dedupe winapi #23449

Merged
merged 1 commit into from May 25, 2019
Merged

Dedupe winapi #23449

merged 1 commit into from May 25, 2019

Conversation

@Eijebong
Copy link
Member

Eijebong commented May 23, 2019

This change is Reviewable

@Eijebong
Copy link
Member Author

Eijebong commented May 23, 2019

bors-servo added a commit that referenced this pull request May 23, 2019
WIP: Dedupe winapi

<!-- 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/23449)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented May 23, 2019

Trying commit a2ea330 with merge f9a5e7d...

@Eijebong
Copy link
Member Author

Eijebong commented May 23, 2019

Tidy failed because winapi isn't duped anymore 😆

@Eijebong Eijebong changed the title WIP: Dedupe winapi Dedupe winapi May 23, 2019
@Eijebong Eijebong force-pushed the Eijebong:winapi branch from a2ea330 to 587f0ed May 23, 2019
@Eijebong Eijebong mentioned this pull request May 23, 2019
@@ -24,3 +24,5 @@ opt-level = 3
#
# [patch."https://github.com/servo/<repository>"]
# <crate> = { path = "/path/to/local/checkout" }
mio = { git = "https://github.com/servo/mio.git", branch = "servo" }
iovec = { git = "https://github.com/servo/iovec.git", branch = "servo" }

This comment has been minimized.

Copy link
@SimonSapin

SimonSapin May 24, 2019

Member

Forking two repositories is unfortunate. What’s the plan to unfork? Are there PRs waiting to be merged upstream?

This comment has been minimized.

Copy link
@Eijebong

Eijebong May 24, 2019

Author Member

As soon as mio get a new release and is updated in tokio we can unfork those.

The master branches of mio and iovec already contain the patches but also other breaking changes so we can't use them directly. Mio had promised a new release more than one year ago so hopefully it'll come soon...

The duplication of was blocking @paulrouget on some work hence the forking

This comment has been minimized.

Copy link
@SimonSapin

SimonSapin May 24, 2019

Member

Sounds reasonable, thanks. Could you add a comment in Cargo.toml that explains this winapi situation? r=me with that.

This comment has been minimized.

Copy link
@Eijebong

Eijebong May 24, 2019

Author Member

Is it enough now ?

Since mio still hasn't been released, this uses custom forks with just
winapi bumped to 0.3 in them.
@Eijebong Eijebong force-pushed the Eijebong:winapi branch from 587f0ed to 3e7a9a0 May 24, 2019
@jdm
Copy link
Member

jdm commented May 24, 2019

@bors-servo treeclosed=9000
Doing some upgrades.

@jdm
Copy link
Member

jdm commented May 24, 2019

@bors-servo treeclosed-

@jdm
Copy link
Member

jdm commented May 24, 2019

@bors-servo
Copy link
Contributor

bors-servo commented May 24, 2019

📌 Commit 3e7a9a0 has been approved by jdm

@highfive highfive assigned jdm and unassigned Manishearth May 24, 2019
@bors-servo
Copy link
Contributor

bors-servo commented May 24, 2019

Testing commit 3e7a9a0 with merge dc95688...

bors-servo added a commit that referenced this pull request May 24, 2019
Dedupe winapi

<!-- 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/23449)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented May 24, 2019

💔 Test failed - status-taskcluster

@jdm
Copy link
Member

jdm commented May 25, 2019

@bors-servo retry

  • network issues
@bors-servo
Copy link
Contributor

bors-servo commented May 25, 2019

Testing commit 3e7a9a0 with merge 1c74a80...

bors-servo added a commit that referenced this pull request May 25, 2019
Dedupe winapi

<!-- 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/23449)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented May 25, 2019

☀️ Test successful - arm64, linux-rel-css, linux-rel-wpt, status-taskcluster
Approved by: jdm
Pushing 1c74a80 to master...

@bors-servo bors-servo merged commit 3e7a9a0 into servo:master May 25, 2019
4 checks passed
4 checks passed
Taskcluster (pull_request) TaskGroup: success
Details
Travis CI - Pull Request Build Passed
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

6 participants
You can’t perform that action at this time.