Auto merge of #63233 - RalfJung:get_unchecked, r=Centril

[rust.git] / src / tools / publish_toolstate.py

diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
index 3f876b04fbecec54eba540be7a6ea413ac1554ee..b8dcba3afc3a1624c897c8a27028ebc6dec8d8aa 100755 (executable)
--- a/src/tools/publish_toolstate.py
+++ b/src/tools/publish_toolstate.py
@@ -1,6 +1,12 @@
 #!/usr/bin/env python
 # -*- coding: utf-8 -*-
 
+## This script publishes the new "current" toolstate in the toolstate repo (not to be
+## confused with publishing the test results, which happens in
+## `src/ci/docker/x86_64-gnu-tools/checktools.sh`).
+## It is set as callback for `src/ci/docker/x86_64-gnu-tools/repo.sh` by the CI scripts
+## when a new commit lands on `master` (i.e., after it passed all checks on `auto`).
+
 import sys
 import re
 import os
@@ -28,7 +34,7 @@ MAINTAINERS = {
         '@ryankurte @thejpster @therealprof'
     ),
     'edition-guide': '@ehuss @Centril @steveklabnik',
-    'rustc-guide': '@mark-i-m'
+    'rustc-guide': '@mark-i-m @spastorino'
 }
 
 REPOS = {