diff options
| author | Philipp Hansch <dev@phansch.net> | 2019-02-21 19:26:45 +0100 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2019-02-21 19:26:45 +0100 |
| commit | 4867a8c4fa1d5da99e9e6e61b86b4ce85e0572d0 (patch) | |
| tree | 5e13cae67dc2514a93ce8bc5b4e057b982f4a602 | |
| parent | fd42f24b0129b32d66f174510518c083cdcec3eb (diff) | |
| download | rust-4867a8c4fa1d5da99e9e6e61b86b4ce85e0572d0.tar.gz rust-4867a8c4fa1d5da99e9e6e61b86b4ce85e0572d0.zip | |
Update miri links
Miri has been moved to `rust-lang` a couple of days ago.
| -rw-r--r-- | CONTRIBUTING.md | 2 | ||||
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9924055ca45..54344f688f9 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 abcf14d90be..fb6132a5358 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -25,7 +25,7 @@ MAINTAINERS = { } 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', |