From 200e3ac5cb22a87cdc0cf2f72263e8674317fd92 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Tue, 25 Nov 2014 11:50:16 +0000 Subject: [PATCH] pgit.sh: Add branch command to pgit.sh Signed-off-by: Jan Lindemann --- scripts/pgit.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/scripts/pgit.sh b/scripts/pgit.sh index 051aef45..761a974d 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -60,6 +60,17 @@ pull() done )} +branch() +{( + local d + config + cd $pdir + for d in $pdirs; do + marker "$d" + (cd $d; git branch "$@") + done +)} + diff() {( local d