diff options
author | Erich Eckner <git@eckner.net> | 2018-09-17 22:48:31 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-17 22:48:31 +0200 |
commit | 6a3b49ae66eea02569e80c1c0fa2043c159038e4 (patch) | |
tree | b417e6fbd349ade6bdf87feaab566938ded52106 /bin/build-packages | |
parent | 7ff13e834be11f675c5b62ae92ebd857a2c245d4 (diff) | |
download | builder-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/build-packages')
-rwxr-xr-x | bin/build-packages | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index 62cfae7..a3f253d 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -283,7 +283,11 @@ while [ "${count}" -ne 0 ] && \ for repo_name in ${repo_names}; do eval repo_path='"${repo_paths__'"${repo_name}"'}"' - 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 done |