set -o pipefail
set -o nounset
+# source .profile
+source "$HOME/.profile"
+
# navigate to WORKSPACE which is the root of the Git clone
-cd $WORKSPACE
+cd "$WORKSPACE"
# git show for information purposes
echo "--------------------------------------------"