diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-02 14:54:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-02 14:54:06 +0200 |
| commit | b25c07d3aa2e41c2248eac34893cf6e934961276 (patch) | |
| tree | a92571612aa4d56bcc5a2cafd2a49716b1e81c94 /bin/get-package-updates | |
| parent | d81f07112e538bb1b586140619eab02db3a5e62c (diff) | |
| download | builder-b25c07d3aa2e41c2248eac34893cf6e934961276.tar.xz | |
bin/get-package-updates: be more forceful with git repositories
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 05bdcaa..de58eb2 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -17,6 +17,8 @@ flock -n 9 || exit # Update git repositories (official packages, community packages and the repository of package customizations). for repo in "${repo_paths[@]}"; do + git -C "${repo}" clean -df + git -C "${repo}" checkout master git -C "${repo}" pull done |