Adding a simple shell script to handle pushing; this is very custom to my RMaint setup... modify to taste

push.sh

@@ -0,0 +1,8 @@
+#!/bin/bash
+
+BRANCH=$1
+
+git push origin $BRANCH
+pushd ~/koha.3.2.r_maint
+git push origin $BRANCH
+popd