From 6a3b49ae66eea02569e80c1c0fa2043c159038e4 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 17 Sep 2018 22:48:31 +0200
Subject: bin/build-packages,bin/check-mirrors,bin/get-package-updates: "git
 fetch origin master:master" only works for bare repositories - use "git
 remote update" for non-bare ones

---
 bin/get-package-updates | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'bin/get-package-updates')

diff --git a/bin/get-package-updates b/bin/get-package-updates
index d9c71ab..5a7af82 100755
--- a/bin/get-package-updates
+++ b/bin/get-package-updates
@@ -200,7 +200,11 @@ something_new=false
 for repo in ${repo_names}; do
   eval repo_path='"${repo_paths__'"${repo}"'}"'
   # Update git repositories (official packages, community packages and the repository of package customizations).
-  git -C "${repo_path}" fetch origin master:master || \
+  if [ -d "${repo_path}/.git" ]; then
+    git -C "${repo_path}" remote update
+  else
+    git -C "${repo_path}" fetch origin master:master
+  fi || \
     true
   # read previous git revision numbers from database.
   # shellcheck disable=SC2016
-- 
cgit v1.2.3-70-g09d2