summaryrefslogtreecommitdiff
path: root/bin/get-package-updates
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-09-17 22:48:31 +0200
committerErich Eckner <git@eckner.net>2018-09-17 22:48:31 +0200
commit6a3b49ae66eea02569e80c1c0fa2043c159038e4 (patch)
treeb417e6fbd349ade6bdf87feaab566938ded52106 /bin/get-package-updates
parent7ff13e834be11f675c5b62ae92ebd857a2c245d4 (diff)
downloadbuilder-6a3b49ae66eea02569e80c1c0fa2043c159038e4.tar.xz
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
Diffstat (limited to 'bin/get-package-updates')
-rwxr-xr-xbin/get-package-updates6
1 files changed, 5 insertions, 1 deletions
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