index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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/get-package-updates | |
parent | 7ff13e834be11f675c5b62ae92ebd857a2c245d4 (diff) |
-rwxr-xr-x | bin/get-package-updates | 6 |
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 |