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 /src/tools/publish_toolstate.py | |
| 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.
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 2 |
1 files changed, 1 insertions, 1 deletions
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', |