From f2d0036c2082921df579d791416035a7e72f1843 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Wed, 17 May 2017 15:21:53 +0200 Subject: bin/get-package-updates: clean git tree even more --- bin/get-package-updates | 1 + 1 file changed, 1 insertion(+) (limited to 'bin/get-package-updates') 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 -- cgit v1.2.3-70-g09d2