Add a note about mailing design doc to repo-discuss

Bug: Issue 11533
Change-Id: I28345248d0481bf37c165d706b895df393cb439d
diff --git a/Documentation/dev-design-docs.txt b/Documentation/dev-design-docs.txt
index ac53bf8..5e3f7a9 100644
--- a/Documentation/dev-design-docs.txt
+++ b/Documentation/dev-design-docs.txt
@@ -85,6 +85,13 @@
 but in this case the implementation is only done if someone volunteers
 to do it (which is not guaranteed to happen).
 
+Only very few maintainers actively watch out for uploaded design docs.
+To raise awareness you may want to send a notification to the
+link:https://groups.google.com/d/forum/repo-discuss[repo-discuss]
+mailing list about your uploaded design doc. But the discussion should
+not take place on the mailing list, comments should be made by reviewing
+the change in Gerrit.
+
 [[review]]
 == Design doc review