Make FETCH_HEAD after every mirror

src/mirror-main-repo

@@ -22,13 +22,14 @@ function updateOrCreate(){
 	then
 		echo "Clone of $url"
 		git clone --bare --mirror $url $repodir
+		# create FETCH_HEAD needed by other scripts
+		cd $repodir
+		git fetch --prune
 	else
 		cd $repodir
 		echo "Update of $url"
 		git fetch --prune
 	fi
-
-	# tags
 }
 
 function getLastCommit(){