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

1 files changed, 5 insertions, 1 deletions

diff --git a/bin/check-mirrors b/bin/check-mirrors
index b629880..696ded6 100755
--- a/bin/check-mirrors
+++ b/bin/check-mirrors
@@ -5,7 +5,11 @@
 
 if [ $# -eq 0 ]; then
 
-  git -C "${releng_directory}" fetch origin master:master || \
+  if [ -d "${releng_directory}/.git" ]; then
+    git -C "${releng_directory}" remote update
+  else
+    git -C "${releng_directory}" fetch origin master:master
+  fi || \
     true
 
   country_codes=$(