# vim: ft=sh

# Simple echo wrapper for stage marking
echo_stage() {
	echo -e "\033[1;34m========== $@ ==========\033[0m"
}

# Fetch bare git repository to WORKSPACE
# First argument has to be a source URL
# Second argument is name of directory to which will be repository cloned to.
git_fetch_bare() {
	if [ -d "$WORKSPACE/$2" ]; then
		git --git-dir="$WORKSPACE/$2" --bare remote update --prune
	else
		git clone --mirror "$1" "$WORKSPACE/$2"
	fi
}

# Calls git_fetch_bare and then creates detached work tree in run directory
# First agument has to be a source URL
# Second argument is name of directory to which will be directory cloned in.
# Second argument is optional and should be branch name (master is used if not
# provided).
git_fetch() {
	git_fetch_bare "$1" "$2"
	local BRANCH="$3"
	[ -n "$BRANCH" ] || BRANCH=master
	git --git-dir="$WORKSPACE/$2" --bare worktree add --detach $2 $BRANCH
}