diff options
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index d9a9322..cca4beb 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -23,10 +23,10 @@ delete_package() { for repo in "${repo_paths[@]}"; do # TODO: # this is somewhat redundant and slow -- improve it! - git -C "${repo}" clean -df - git -C "${repo}" reset --hard - git -C "${repo}" checkout master - git -C "${repo}" pull + git -C "${repo}" checkout -f master + git -C "${repo}" clean -xdf + git -C "${repo}" fetch + git -C "${repo}" reset --hard origin/master done # Read previous git revision numbers from files. |