From 4867a8c4fa1d5da99e9e6e61b86b4ce85e0572d0 Mon Sep 17 00:00:00 2001 From: Philipp Hansch Date: Thu, 21 Feb 2019 19:26:45 +0100 Subject: [PATCH] Update miri links Miri has been moved to `rust-lang` a couple of days ago. --- CONTRIBUTING.md | 2 +- src/tools/publish_toolstate.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9924055ca45ea..54344f688f99f 100644 --- 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 index abcf14d90be15..fb6132a5358ef 100755 --- 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',