Merge "Tidy the do-it script to conform to bash8"

do-it.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # provide debugging output when desired
-function DEBUG() {
+function DEBUG {
     [ "$GITDM_DEBUG" == "on" ] && echo "DEBUG: $1"
 }
 
@@ -11,7 +11,7 @@ GITDM_DEBUG=${GITDM_DEBUG:-"off"}
 # determine if a given parameter is a date matching the format YYYY-MM-DD,
 # i.e. 2013-09-13   This is used to decide if git should specify a start
 # date with '--since YYYY-MM-DD' rather than use an absolute changeset id
-function IS_DATE() {
+function IS_DATE {
     [[ $1 =~ ^[0-9][0-9][0-9][0-9]\-[0-9][0-9]\-[0-9][0-9]$ ]]
 }
 
@@ -47,13 +47,13 @@ if [ "$UPDATE_GIT" = "y" ]; then
     fi
     grep -v '^#' ${CONFIGDIR}/${RELEASE} |
         while read project x; do
-          if [ ! -d ${GITBASE}/${project} ] ; then
-              DEBUG "Cloning missing ${project} from ${REPOBASE}/${project}"
-              git clone ${REPOBASE}/${project} ${GITBASE}/${project}
-          fi
-          cd ${GITBASE}/${project}
-          DEBUG "Fetching updates to ${project}"
-          git fetch origin 2>/dev/null
+            if [ ! -d ${GITBASE}/${project} ] ; then
+                DEBUG "Cloning missing ${project} from ${REPOBASE}/${project}"
+                git clone ${REPOBASE}/${project} ${GITBASE}/${project}
+            fi
+            cd ${GITBASE}/${project}
+            DEBUG "Fetching updates to ${project}"
+            git fetch origin 2>/dev/null
         done
 fi