diff --git a/bootstrap.sh b/bootstrap.sh
index 448596e44..2c9e24dc0 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -19,6 +19,7 @@ while read project; do
     exit 1
   fi
 
+  echo "== Cloning ${project}..."
   if [ -d "${name}" ] ; then
     echo "Project ${name} already cloned."
   else
diff --git a/bootstrap_https.sh b/bootstrap_https.sh
index 06e7d0c06..4bcc711dc 100755
--- a/bootstrap_https.sh
+++ b/bootstrap_https.sh
@@ -19,6 +19,7 @@ while read project; do
     exit 1
   fi
 
+  echo "== Cloning ${project}..."
   if [ -d "${name}" ] ; then
     echo "Project ${name} already cloned."
   else
diff --git a/pull.sh b/pull.sh
index 54c19d92e..97312ce60 100755
--- a/pull.sh
+++ b/pull.sh
@@ -17,12 +17,13 @@ while read project; do
     exit 1
   fi
 
-  echo "Pulling ${project}..."
+  echo "== Pulling ${project}..."
   cd ${name}
-  git pull
+  git pull origin ${tag}
   git checkout ${tag}
   cd ..
   echo
+
 done < ${projectsFile}
 
 echo "Done."
diff --git a/push.sh b/push.sh
index 82bc08827..af735bebd 100755
--- a/push.sh
+++ b/push.sh
@@ -17,7 +17,7 @@ while read project; do
     exit 1
   fi
 
-  echo "Pushing ${name}..."
+  echo "== Pushing ${name}..."
   cd ${name}
   git push
   cd ..
diff --git a/status.sh b/status.sh
index 7d30dd33f..70982c56c 100755
--- a/status.sh
+++ b/status.sh
@@ -17,7 +17,7 @@ while read project; do
     exit 1
   fi
 
-  echo "Status of ${name}..."
+  echo "== Status of ${name}..."
   cd ${name}
   git status -s
   cd ..