source ${CONFIG_FILE}
+ set -x
+
git add -A
- git commit -m"prepare for deploy"
+ if ! git diff --exit-code ; then
+ git commit -m"prepare for deploy"
+ fi
for NODE in "${!NODES[@]}"
do
if test $NODE = localhost ; then
else
if ! ssh $NODE test -d arvados-setup.git ; then
ssh $NODE git init --bare arvados-setup.git
- git add remote $NODE $DEPLOY_USER@$NODE:arvados-setup.git
+ git remote add $NODE $DEPLOY_USER@$NODE:arvados-setup.git
git push $NODE
ssh $NODE git clone arvados-setup.git arvados-setup
fi