helpers/generate_common.sh: use HEAD instead of master

The master is not default for all repositories and there are some
existing repositories that migrated to the different default branch
name. The git provides instead generic alias HEAD for current branch
that on remote is resolved to the default branch and thus to master or
what it is called in that project. The issue is that while HEAD works
when we fetch we can't use it for checkout because it references the
local HEAD in that case. We have to use FETCH_HEAD instead as that is
the reference git gives to head fetched from the remote server.

helpers/generate_common.sh

@@ -76,12 +76,18 @@ feed_url() {
 # Removes url from feed url and that way provides only reference
 # It provides "master" instead if there was no reference in feed url.
 # Feed url has to be provided as first argument.
+# The second argument should be 'fetch' in case we want fetched reference.
 feed_ref() {
 	local url="$1"
+	local fetch="${2:-}"
 	if [[ "$url" =~ [\;^] ]]; then
 		echo "${url##*[;^]}"
 	else
-		echo "master"
+		if [[ "$fetch" == "fetch" ]]; then
+			echo "FETCH_HEAD"
+		else
+			echo "HEAD"
+		fi
 	fi
 }
 
@@ -228,7 +234,7 @@ git_checkout() (
 		# commit so fetch everything
 		_git fetch origin
 	fi
-	_git checkout -f "$(feed_ref "$url")"
+	_git checkout -f "$(feed_ref "$url" fetch)"
 	_git submodule update --init --recursive
 )