diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-10 11:38:22 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-10 11:38:22 +0200 |
| commit | fb90fdd796f1598a30a8293226a652f0a3631fc5 (patch) | |
| tree | c5984132d5a7046f707f4c7bde0184042a2d971e | |
| parent | 3a2f7c8efd50dc7eb4b0f6a7263fecf310ac9acd (diff) | |
| download | builder-fb90fdd796f1598a30a8293226a652f0a3631fc5.tar.xz | |
bin/get-package-updates: bugfix git-fetch
| -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 ab96abc..e0209b8 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -86,7 +86,7 @@ delete_package() { for repo in ${repo_names}; do eval repo_path='"${repo_paths__'"${repo}"'}"' - git -C "${repo_path}" fetch + git -C "${repo_path}" fetch origin master:master done # Read previous git revision numbers from files. |