diff options
author | Erich Eckner <git@eckner.net> | 2018-05-28 11:02:08 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-28 11:02:08 +0200 |
commit | 812a74361742c3bf9c3d03362e63e18d9fb5b4c0 (patch) | |
tree | f53bb59a0ce284de5bf80dbbe5f63ebac99704bc /bin/get-package-updates | |
parent | 9f96f03413d0f06a9d50beac6360a17f47e4b213 (diff) | |
download | builder-812a74361742c3bf9c3d03362e63e18d9fb5b4c0.tar.xz |
bin/build-packages, bin/get-package-updates: "git fetch" -> "git remote update"
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 3a6d5fd..ec25899 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -161,7 +161,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}" fetch origin master:master + git -C "${repo_path}" remote update # read previous git revision numbers from database. # shellcheck disable=SC2016 eval "old_repo_revisions__${repo}='$( |