diff options
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 96c24f0..ab96abc 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -86,13 +86,7 @@ delete_package() { for repo in ${repo_names}; do eval repo_path='"${repo_paths__'"${repo}"'}"' - # TODO: this is somewhat redundant and slow -- improve git performance! - git -C "${repo_path}" checkout -f master - git -C "${repo_path}" clean -xdf git -C "${repo_path}" fetch - if ${pull}; then - git -C "${repo_path}" reset --hard origin/master - fi done # Read previous git revision numbers from files. @@ -106,7 +100,11 @@ for repo in ${repo_names}; do )'" eval repo_path='"${repo_paths__'"${repo}"'}"' eval "new_repo_revisions__${repo}='$( - git -C "${repo_path}" rev-parse HEAD | \ + if ${pull}; then + git -C "${repo_path}" rev-parse HEAD + else + cat "${work_dir}/${repo}.revision" + fi | \ tee "${work_dir}/${repo}.revision.new" )'" if ! eval '[ "${new_repo_revisions__'"${repo}"'}" = "${old_repo_revisions__'"${repo}"'}" ]'; then |