From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Jan 2012 00:56:06 +0000 (+0000)
Subject: mention non-tb-branches
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=605f4910113b6c1b200dce384251b44ed99bde3c;p=topbloke.git

mention non-tb-branches
---

diff --git a/DESIGN b/DESIGN
index bac524c..e62456b 100644
--- 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: