diff options
| -rwxr-xr-x | bin/build-packages | 2 | ||||
| -rwxr-xr-x | bin/get-package-updates | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/bin/build-packages b/bin/build-packages index 6d4f93a..6c398d4 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -244,7 +244,7 @@ while [ "${count}" -ne 0 ] && \ for repo_name in ${repo_names}; do eval repo_path='"${repo_paths__'"${repo_name}"'}"' - git -C "${repo_path}" fetch + git -C "${repo_path}" remote update done git_repo=$(find_repository_with_commit "${git_revision}") 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}='$( |