1
Fork 0

Auto merge of #69898 - spastorino:rename-rustc-guide2, r=Xanewok

Move rustc-guide submodule to rustc-dev-guide

r? @pietroalbini
This commit is contained in:
bors 2020-04-04 18:17:14 +00:00
commit 853c4774e2
8 changed files with 13 additions and 13 deletions

View file

@ -40,7 +40,7 @@ MAINTAINERS = {
'ryankurte', 'thejpster', 'therealprof',
},
'edition-guide': {'ehuss', 'Centril', 'steveklabnik'},
'rustc-guide': {'mark-i-m', 'spastorino', 'amanjeev', 'JohnTitor'},
'rustc-dev-guide': {'mark-i-m', 'spastorino', 'amanjeev', 'JohnTitor'},
}
REPOS = {
@ -54,7 +54,7 @@ REPOS = {
'rust-by-example': 'https://github.com/rust-lang/rust-by-example',
'embedded-book': 'https://github.com/rust-embedded/book',
'edition-guide': 'https://github.com/rust-lang/edition-guide',
'rustc-guide': 'https://github.com/rust-lang/rustc-guide',
'rustc-dev-guide': 'https://github.com/rust-lang/rustc-dev-guide',
}
@ -202,7 +202,7 @@ def update_latest(
old = status[os]
new = s.get(tool, old)
status[os] = new
maintainers = ' '.join('@'+name for name in MAINTAINERS[tool])
maintainers = ' '.join('@'+name for name in MAINTAINERS.get(tool, ()))
# comparing the strings, but they are ordered appropriately:
# "test-pass" > "test-fail" > "build-fail"
if new > old: