diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-30 15:04:30 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-30 15:05:09 +0200 |
| commit | 52a7ca3d04df689df8c414fa57bcac7770d01338 (patch) | |
| tree | 13f522ba61fe253f7a8cffdd16a3498b7b331cd0 /bin/get-package-updates | |
| parent | 7662ef55ad990ae7f9a8823542c6d5e9f2e1e565 (diff) | |
| download | builder-52a7ca3d04df689df8c414fa57bcac7770d01338.tar.xz | |
bin/get-package-updates: improve git checkout
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. |