Skip to content

.gitmodules: use official URLs w/o redirect #40512

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Mar 17, 2017
Merged

Conversation

nodakai
Copy link
Contributor

@nodakai nodakai commented Mar 14, 2017

No description provided.

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

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

@alexcrichton
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Mar 14, 2017

📌 Commit 0671cc1 has been approved by alexcrichton

@nodakai nodakai closed this Mar 14, 2017
@nodakai nodakai deleted the patch-1 branch March 14, 2017 15:48
@nodakai nodakai restored the patch-1 branch March 14, 2017 15:53
@nodakai
Copy link
Contributor Author

nodakai commented Mar 14, 2017

@alexcrichton Apologies, I accidentally closed this PR

@nodakai nodakai reopened this Mar 14, 2017
@alexcrichton
Copy link
Member

@bors: r+

(in case bors missed it)

@bors
Copy link
Collaborator

bors commented Mar 14, 2017

💡 This pull request was already approved, no need to approve it again.

@bors
Copy link
Collaborator

bors commented Mar 14, 2017

📌 Commit 0671cc1 has been approved by alexcrichton

frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 15, 2017
.gitmodules: use official URLs w/o redirect
bors added a commit that referenced this pull request Mar 15, 2017
bors added a commit that referenced this pull request Mar 16, 2017
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 17, 2017
.gitmodules: use official URLs w/o redirect
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 17, 2017
.gitmodules: use official URLs w/o redirect
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 17, 2017
.gitmodules: use official URLs w/o redirect
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 17, 2017
.gitmodules: use official URLs w/o redirect
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Mar 17, 2017
.gitmodules: use official URLs w/o redirect
bors added a commit that referenced this pull request Mar 17, 2017
@bors bors merged commit 0671cc1 into rust-lang:master Mar 17, 2017
@nodakai nodakai deleted the patch-1 branch April 10, 2017 12:57
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants