diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-17 15:21:53 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-17 15:24:28 +0200 |
| commit | f2d0036c2082921df579d791416035a7e72f1843 (patch) | |
| tree | 467dde607a5b8b610babfb3723a7b1468e52cfc1 /bin | |
| parent | f6fedcfeca7c89a52c4ef0766e769073cc896bc7 (diff) | |
| download | builder-f2d0036c2082921df579d791416035a7e72f1843.tar.xz | |
bin/get-package-updates: clean git tree even more
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/get-package-updates | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 1a1a189..339f6aa 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -23,6 +23,7 @@ fi for repo in "${repo_paths[@]}"; do git -C "${repo}" clean -df + git -C "${repo}" reset --hard git -C "${repo}" checkout master git -C "${repo}" pull done |