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

Default urls in [replace] to crates.io #3248

Merged
merged 1 commit into from
Nov 3, 2016
Merged

Conversation

alexcrichton
Copy link
Member

The intention was to do this, and it mistakenly didn't happen!

Closes #3235

@rust-highfive
Copy link

r? @brson

(rust_highfive has picked a reviewer for you, use r? to override)

@brson
Copy link
Contributor

brson commented Nov 3, 2016

@bors r+

@bors
Copy link
Contributor

bors commented Nov 3, 2016

📌 Commit 0241e6b has been approved by brson

@bors
Copy link
Contributor

bors commented Nov 3, 2016

☔ The latest upstream changes (presumably #3220) made this pull request unmergeable. Please resolve the merge conflicts.

@bors
Copy link
Contributor

bors commented Nov 3, 2016

🔒 Merge conflict

The intention was to do this, and it mistakenly didn't happen!

Closes rust-lang#3235
@alexcrichton
Copy link
Member Author

@bors: r=brson

@bors
Copy link
Contributor

bors commented Nov 3, 2016

📌 Commit 0d038a9 has been approved by brson

@bors
Copy link
Contributor

bors commented Nov 3, 2016

⌛ Testing commit 0d038a9 with merge 84a3e5c...

bors added a commit that referenced this pull request Nov 3, 2016
Default urls in [replace] to crates.io

The intention was to do this, and it mistakenly didn't happen!

Closes #3235
@bors
Copy link
Contributor

bors commented Nov 3, 2016

☀️ Test successful - cargo-cross-linux, cargo-linux-32, cargo-linux-64, cargo-mac-32, cargo-mac-64, cargo-win-gnu-32, cargo-win-gnu-64, cargo-win-msvc-32, cargo-win-msvc-64
Approved by: brson
Pushing 84a3e5c to master...

@bors bors merged commit 0d038a9 into rust-lang:master Nov 3, 2016
@alexcrichton alexcrichton deleted the bad2 branch November 3, 2016 17:49
@ehuss ehuss added this to the 1.14.0 milestone Feb 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Successful build keeps trying to update from remote repo
5 participants