[Piuparts-commits] [SCM] piatti.debian.org configuration files branch, piatti, updated. 0.42-37-gd83f5da

[Holger Levsen]

The following commit has been merged in the piatti branch:
commit d83f5dad231563ed83b9923b4cc48b704d9981da
Author: Holger Levsen <holger at layer-acht.org>
Date:   Sat Jan 21 12:14:20 2012 +0100

    update-piuparts-setup: only pull if $2 is given

diff --git a/home/piupartss/bin/update-piuparts-setup b/home/piupartss/bin/update-piuparts-setup
index d542ca5..7aef772 100755
--- a/home/piupartss/bin/update-piuparts-setup
+++ b/home/piupartss/bin/update-piuparts-setup
@@ -49,7 +49,11 @@ if [ ! -z "$1" ] ; then
 	git checkout $1
 fi
 
-git pull
+# git pull if $2 is given
+if [ ! -z "$2" ] ; then
+	git pull $2 $1
+fi
+
 cd
 cp -r piatti/home/piupartss/* .
 cp -r piatti/home/piupartss/.forward .
@@ -119,7 +123,11 @@ if [ ! -z "$1" ] ; then
 	git checkout $1
 fi
 
-git pull
+# git pull if $2 is given
+if [ ! -z "$2" ] ; then
+	git pull $2 $1
+fi
+
 sudo make prefix=/org/piuparts.debian.org docdir=/org/piuparts.debian.org/htdocs/doc/ install install-doc
 
 #

-- 
piatti.debian.org configuration files