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 (executable)
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