+ info "Updating OVNO repository...."
+ cd ${OVNO_REPO_DIR}
+ if [ ${OVNO_BRANCH} != "master" ]; then
+ info "OVNO repo: checkout ${OVNO} branch..."
+ git checkout ${OVNO_BRANCH}
+ fi
+ info "OVNO repo: pulling to latest..."
+ git pull
+ if [ ${OVNO_COMMIT} != "latest" ]; then
+ info "OVNO repo: given commit is ${OVNO_COMMIT}. Reseting..."
+ git reset --hard ${OVNO_COMMIT}
+ fi
+
+ info "Updating DOCTOR repository...."
+ cd ${DOCTOR_REPO_DIR}
+ if [ ${DOCTOR_BRANCH} != "master" ]; then
+ info "DOCTOR repo: checkout ${DOCTOR} branch..."
+ git checkout ${DOCTOR_BRANCH}
+ fi
+ info "DOCTOR repo: pulling to latest..."
+ git pull
+ if [ ${DOCTOR_COMMIT} != "latest" ]; then
+ info "DOCTOR repo: given commit is ${DOCTOR_COMMIT}. Reseting..."
+ git reset --hard ${DOCTOR_COMMIT}
+ fi