ds_repo_fetch() {
	if [ "$1" = "" ] || [ "$2" = "" ]; then
		error "repo: git: Too few arguments given to repo_fetch"
	fi
	if [ "$GIT_BRANCH" != "" ]; then
		GIT_SSH_COMMAND="ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no" git clone --progress --single-branch --depth=1 --branch $GIT_BRANCH $1 $2 #2>&1 | indent
		info "Checked out $GIT_BRANCH from $1"
	else
		warning "No GIT_BRANCH specified, building from version in the current project directory"
		copy_local_project_for_build "$PROJECT_DIR" "$2" "$WORK_DIR"
	fi

	if [ "$GIT_TAG" != "" ]; then
		PWD_DIR=$(pwd)
		cd "$2"
		git fetch --tags
		TAG_BRANCH="$GIT_TAG-$(git symbolic-ref --short HEAD)"
		git checkout tags/$GIT_TAG -b $TAG_BRANCH
		cd "$PWD_DIR"
	fi
}