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/check-mirrors | |
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/check-mirrors')
-rwxr-xr-x | bin/check-mirrors | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/check-mirrors b/bin/check-mirrors index 80524b8..b629880 100755 --- a/bin/check-mirrors +++ b/bin/check-mirrors @@ -5,7 +5,7 @@ if [ $# -eq 0 ]; then - git -C "${releng_directory}" remote update || \ + git -C "${releng_directory}" fetch origin master:master || \ true country_codes=$( |