summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-05-30 15:04:30 +0200
committerErich Eckner <git@eckner.net>2017-05-30 15:05:09 +0200
commit52a7ca3d04df689df8c414fa57bcac7770d01338 (patch)
tree13f522ba61fe253f7a8cffdd16a3498b7b331cd0
parent7662ef55ad990ae7f9a8823542c6d5e9f2e1e565 (diff)
downloadbuilder-52a7ca3d04df689df8c414fa57bcac7770d01338.tar.xz
bin/get-package-updates: improve git checkout
-rwxr-xr-xbin/get-package-updates8
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.