From 282f75e7a3b2283084eb86f601de80060eada7ae Mon Sep 17 00:00:00 2001 From: Didier Raboud Date: Fri, 18 Jan 2019 16:22:03 +0000 Subject: [PATCH] My friday rough ballot/discussion --- 914897_merged_usr/ballot.md | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) 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 === -- 2.39.2