mention non-tb-branches

diff --git a/DESIGN b/DESIGN
index bac524ca7bbefad5bf8a38b2536209ca4fb55578..e62456b7bbcbf5cdeceb77b4fa1838442c0029a2 100644 (file)
--- a/DESIGN
+++ b/DESIGN
@@ -116,6 +116,8 @@ Actual included branches:
   which do not support dependency deletion, always have exactly the
   desired branches actually included.)
 
+  Non-topbloke-controlled branches are never recorded in included.
+
 
 Branch removal: