From 52a7ca3d04df689df8c414fa57bcac7770d01338 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Tue, 30 May 2017 15:04:30 +0200 Subject: bin/get-package-updates: improve git checkout --- bin/get-package-updates | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'bin') 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. -- cgit v1.2.3-70-g09d2