diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-02-22 14:58:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-22 14:58:15 +0100 |
| commit | 40d40a348001007bca6a29dc2fdd995f99a2ac61 (patch) | |
| tree | b71e495ad0a168d9fe778c508934a7e410028f74 /src | |
| parent | a2a2b7b7495701d326b16a53706319f529ebcd78 (diff) | |
| parent | 36f665239d123a2be71c2968995f8c30b95c8c9c (diff) | |
| download | rust-40d40a348001007bca6a29dc2fdd995f99a2ac61.tar.gz rust-40d40a348001007bca6a29dc2fdd995f99a2ac61.zip | |
Rollup merge of #58621 - phansch:update_miri_links, r=oli-obk
Update miri links Miri has been moved to `rust-lang` a couple of days ago.
Diffstat (limited to 'src')
| -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', |