From: Didier Raboud <odyx@debian.org>
Date: Fri, 18 Jan 2019 16:22:03 +0000 (+0000)
Subject: My friday rough ballot/discussion
X-Git-Url: https://git.donarmstrong.com/?p=debian-ctte.git;a=commitdiff_plain;h=282f75e7a3b2283084eb86f601de80060eada7ae

My friday rough ballot/discussion
---

diff --git a/914897_merged_usr/ballot.md b/914897_merged_usr/ballot.md
index 4f97de0..90a9411 100644
--- a/914897_merged_usr/ballot.md
+++ b/914897_merged_usr/ballot.md
@@ -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 ===