Propose inital raw ballot

diff --git a/914897_merged_usr/ballot.md b/914897_merged_usr/ballot.md
index 3f03916cd7947658213df6dc82a064a617f3eadc..89888877cdd42e3685701bec5bdff34bb00060e2 100644 (file)
--- a/914897_merged_usr/ballot.md
+++ b/914897_merged_usr/ballot.md
@@ -1,7 +1,5 @@
 # #914897: tech-ctte: Should debootstrap disable merged `/usr` by default?
 
-=== DRAFT Resolution ===
-
 ## What is "merged `/usr`"
 
 "Merged `/usr`" describes a possible future standard directories scheme in which the `/{bin,sbin,lib*}/` directories have been made superfluous through replacing them by symlinks to their `/usr` equivalents (/usr/{bin,sbin,lib*}).
@@ -79,30 +77,28 @@ It can be summarized by the following table:
 
 The current state of buster is `weak`.
 
-== TO BE DISCUSSED
-== ## Offering Advice §6.1.5
-== 
-== Given that:
-== * hosts with both directory schemes already exist,
-== * it seems unpractical to allow official packages to be built on either directory schemes,
-== * there's inherent value in the simplicity of "merged `/usr`" directory schemes,
-== 
-== the Technical Committee considers that the desireable solution at the time of bullseye is `hard`.
-== TO BE DISCUSSED
+=== DRAFT Resolution ===
 
-## For buster
+The Technical Committee resolves to:
 
-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: Ask the debootstrap maintainers to disable "merged `/usr`" by default
+  (Using its §6.1.4 "Overrule a Developer" power; requires a 3:1 majority)
 
-Option A:
-    Override debootstrap maintainers; let new hosts be identical to buildds, non-"merged-`/usr`".
+  Given that:
+  * hosts with both directory schemes already exist,
+  * the "merged `/usr`" directory scheme ought to be reserved for special use-cases,
+  * official packages ought to only be built on classical directory schemes,
 
-Option B:
-    Do not override debootstrap maintainers
-    Encourage finding ways quickly to reconcile buildds' setups with user setups.
+  … the Technical Committee considers that the desireable solution at the time of bullseye is `weak`; and asks the debootstrap maintainers to disable "merged `/usr`" by default.
 
+* Option B: Decline to override the debootstrap maintainers; offer advice
+  (Using its §6.1.5 "Offering advice" power)
 
-=== End DRAFT Resolution ===
+  Given that:
+  * hosts with both directory schemes already exist,
+  * it seems unpractical to allow official packages to be built on either directory schemes,
+  * there's inherent value in the simplicity of "merged `/usr`" directory schemes,
+  
+  … the Technical Committee considers that the desireable solution at the time of bullseye is `hard`; and declines to override the debootstrap maintainers.
 
+=== End DRAFT Resolution ===