Update miri links

phansch · phansch · commit 4867a8c4fa1d · 2019-02-21T19:26:45.000+01:00
Miri has been moved to `rust-lang` a couple of days ago.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -162,7 +162,7 @@ it can be found [here][rctd].
 Currently building Rust will also build the following external projects:
 
 * [clippy](https://github.com/rust-lang-nursery/rust-clippy)
-* [miri](https://github.com/solson/miri)
+* [miri](https://github.com/rust-lang/miri)
 * [rustfmt](https://github.com/rust-lang-nursery/rustfmt)
 * [rls](https://github.com/rust-lang-nursery/rls/)
 
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
@@ -25,7 +25,7 @@
 }
 
 REPOS = {
-    'miri': 'https://github.com/solson/miri',
+    'miri': 'https://github.com/rust-lang/miri',
     'clippy-driver': 'https://github.com/rust-lang/rust-clippy',
     'rls': 'https://github.com/rust-lang/rls',
     'rustfmt': 'https://github.com/rust-lang/rustfmt',

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@`
`25`	`25`	`}`
`26`	`26`
`27`	`27`	`REPOS = {`
`28`		`- 'miri': 'https://github.com/solson/miri',`
	`28`	`+ 'miri': 'https://github.com/rust-lang/miri',`
`29`	`29`	`'clippy-driver': 'https://github.com/rust-lang/rust-clippy',`
`30`	`30`	`'rls': 'https://github.com/rust-lang/rls',`
`31`	`31`	`'rustfmt': 'https://github.com/rust-lang/rustfmt',`