From e1b9028f2f807a50a9c320351e195bc27ac86f15 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 3 Sep 2019 09:01:58 +0200
Subject: [PATCH] remark that tool MAINTAINERS must be members of the rust-lang
 org

---
 src/tools/publish_toolstate.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py
index 1411f4c0b05a2..55b026524a46b 100755
--- a/src/tools/publish_toolstate.py
+++ b/src/tools/publish_toolstate.py
@@ -20,6 +20,8 @@
     import urllib.request as urllib2
 
 # List of people to ping when the status of a tool or a book changed.
+# These must all be members of the rust-lang org on GitHub, or else
+# assigning them to the issue will fail (and no issue gets created).
 MAINTAINERS = {
     'miri': '@oli-obk @RalfJung @eddyb',
     'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch @flip1995',