do not tolerate tb metadata in foreign branches

diff --git a/DESIGN b/DESIGN
index 135cb6d342fd1635fcf647a7457a80b209916159..e4066e4a8143a5320557e5b2a3941e82af0c4ef0 100644 (file)
--- a/DESIGN
+++ b/DESIGN
@@ -25,9 +25,7 @@ Patch removal:
 
 Foreign branches:
  When merging from a foreign dependency, check that it
- does not have .topbloke metadata; LATER if it
- does, could produce a new commit which has .topbloke removed
- and merge from that
+ does not have .topbloke metadata
 
 Patch naming:
  needs to be globally unique