diff --git a/make/projects-dir.mk b/make/projects-dir.mk index bf345ce9..58fc0088 100644 --- a/make/projects-dir.mk +++ b/make/projects-dir.mk @@ -190,6 +190,16 @@ git-clone: ssh-wrapper.sh git-clone-%: ssh-wrapper.sh PGIT_CLONE_FROM_USER=$* $(PGIT) clone +git-show-non-master-branches: + @$(PGIT) branch 2>&1 | \ + sed '/^#\|^*/!d; s/.*git -C //; s/ *branch *//; s/ *\* *//' | \ + while read p; do \ + read b ;\ + if [ "$$b" != "master" ]; then \ + echo " * $$p: $$b" ;\ + fi ;\ + done + pull-%: ssh-wrapper.sh PGIT_CLONE_FROM_USER=$* $(PGIT) clone