diff options
author | Erich Eckner <git@eckner.net> | 2018-09-17 16:05:44 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-17 16:05:44 +0200 |
commit | c5c27eb501669a4da182dfb684a5bf266902f7ea (patch) | |
tree | 0178f2932ca87299dd2cc3ffcb17adfe1b021cd5 /bin/get-package-updates | |
parent | e0ab9252b8fe502b620f62278f8deff287c7e729 (diff) | |
download | builder-c5c27eb501669a4da182dfb684a5bf266902f7ea.tar.xz |
bin/build-packages,bin/check-mirrors,bin/get-package-updates: "git remote update" -> "git fetch origin master:master"
Diffstat (limited to 'bin/get-package-updates')
-rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 66b59bb..d9c71ab 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -200,7 +200,7 @@ 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}" remote update || \ + git -C "${repo_path}" fetch origin master:master || \ true # read previous git revision numbers from database. # shellcheck disable=SC2016 |