From 081cbbd21eb3f60614f868afd6a3ec3fd3ac6488 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@alientrap.org>
Date: Fri, 16 Apr 2010 19:41:05 +0200
Subject: [PATCH] ./all push -s 	submits the current branches to the repo as
 finished, to-be-merged, branches

---
 all | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/all b/all
index e4316a0c..0020c6c2 100755
--- a/all
+++ b/all
@@ -1,4 +1,5 @@
 #!/bin/sh
+# vim: filetype=zsh
 
 set -e
 
@@ -296,6 +297,7 @@ case "$cmd" in
 		done
 		;;
 	push|commit)
+		submit=$1
 		for d in $repos; do
 			dv=`visible_repo_name "$d"`
 			enter "$d0/$d" verbose
@@ -323,6 +325,13 @@ case "$cmd" in
 					verbose git push "$rem" HEAD
 				fi
 			fi
+			if [ x"$submit" = x"-s" ]; then
+				case "$r" in
+					*/*)
+						verbose git push "$rem" HEAD:"${r%%/*}/finished/${r#*/}"
+						;;
+				esac
+			fi
 			cd "$d0"
 		done
 		;;
@@ -439,7 +448,7 @@ case "$cmd" in
 		echo "Usage:"
 		echo "  $SELF pull"
 		echo "  $SELF merge"
-		echo "  $SELF push"
+		echo "  $SELF push [-s]"
 		echo "  $SELF branches"
 		echo "  $SELF branch [<remote>] <branchname>"
 		echo "  $SELF branch <remote> <branchname> <srcbranchname>"
-- 
2.39.5