From 62d7004c4311b63db9ac5d8f66929ed5c6932846 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <karel.koci@nic.cz> Date: Thu, 30 Aug 2018 11:07:00 +0200 Subject: [PATCH] pkgauto: use mirror instead of simply bare repository --- helpers/pkgauto.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helpers/pkgauto.mk b/helpers/pkgauto.mk index 60cc2fe77..c431799a0 100644 --- a/helpers/pkgauto.mk +++ b/helpers/pkgauto.mk @@ -16,9 +16,9 @@ GIT_ARGS=--git-dir='$(TMP_REPO_PATH)' --bare $(shell \ if [ ! -d "$(TMP_REPO_PATH)" ]; then \ - git clone --bare "$(PKG_SOURCE_URL)" "$(TMP_REPO_PATH)"; \ + git clone --mirror "$(PKG_SOURCE_URL)" "$(TMP_REPO_PATH)"; \ else \ - git $(GIT_ARGS) fetch --prune --prune-tags --force "$(PKG_SOURCE_URL)" "$(PKG_SOURCE_BRANCH):$(PKG_SOURCE_BRANCH)"; \ + git $(GIT_ARGS) remote update origin fi) PKG_SOURCE_VERSION:=$(shell git $(GIT_ARGS) rev-parse "$(PKG_SOURCE_BRANCH)") -- GitLab