]> git.donarmstrong.com Git - debian-ctte.git/commitdiff
My friday rough ballot/discussion
authorDidier Raboud <odyx@debian.org>
Fri, 18 Jan 2019 16:22:03 +0000 (16:22 +0000)
committerDidier Raboud <odyx@debian.org>
Fri, 18 Jan 2019 16:22:03 +0000 (16:22 +0000)
914897_merged_usr/ballot.md

index 4f97de03a4d0af19c37d7b74d563cf73406e0415..90a9411083aed793ad5ded750390d62e69df69a8 100644 (file)
@@ -59,10 +59,16 @@ It's bizarre to have official buildds be non-"merged `/usr`" while user hosts wi
 
 ## For buster
 
+Anyway:
+    Recommend tainting binary packages built on "merged-`/usr`" hosts, and warning at install time.
+    Recommend tackling "merged-`/usr`" properly over bullseye (buster+1)
 
+Option A:
+    Override debootstrap maintainers; let new hosts be identical to buildds, non-"merged-`/usr`".
 
-# Recommendations / Decisions
-
+Option B:
+    Do not override debootstrap maintainers
+    Encourage finding ways quickly to reconcile buildds' setups with user setups.
 
 
 === End DRAFT Resolution ===