From 13275017f60c43232aec43ebff056cf722f39831 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=A1clav=20Val=C3=AD=C4=8Dek=20=28YCNet=29?=
 <hppro@swamp.ga>
Date: Tue, 13 Feb 2018 14:41:02 +0100
Subject: [PATCH] Make FETCH_HEAD after every mirror

---
 src/mirror-main-repo | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/mirror-main-repo b/src/mirror-main-repo
index fb12adc..dfca905 100755
--- a/src/mirror-main-repo
+++ b/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(){