From: Didier Raboud <odyx@debian.org>
Date: Wed, 2 Sep 2015 07:01:19 +0000 (+0200)
Subject: Add pocket_devotee script with the votes so far
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=b3ef154513d73e94aba944dd9e5c336eba600f73;p=debian-ctte.git

Add pocket_devotee script with the votes so far
---

diff --git a/741573_menu_systems/run_vote.sh b/741573_menu_systems/run_vote.sh
new file mode 100755
index 0000000..61d76a4
--- /dev/null
+++ b/741573_menu_systems/run_vote.sh
@@ -0,0 +1,15 @@
+#!/bin/sh
+echo "Debian Menu systems"
+../scripts/pocket-devotee \
+    --option 'A: adopt changes proposed by Charles Plessy (…)' \
+    --option 'B: consider that the procedure resulted in consensus, and adopt changes proposed by Charles Plessy (…)' \
+    --option 'C: adopt changes proposed by Bill Allombert (…)' \
+    --option 'D: adopt changes proposed by Charles Plessy, additionally resolve that packages providing a .desktop file shall not also provide a menu file (…)' \
+    --option 'Z: Further Discussion' \
+    --default-option 'Z' \
+    --quorum 6 \
+    << EOF
+hartmans: D > B > A > Z > C
+don: D > A = B > C > Z
+tfheen: D > A = B > Z > C
+EOF