bin/get-package-updates: be more forceful with git repositories

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