Throw out any local changes that might interfere with updates.

cmeury · Aug 19, 2016 · 128cd2a · 128cd2a
1 parent 2e311ed
commit 128cd2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/selfupdate-mirror/fink-info-git b/selfupdate-mirror/fink-info-git
@@ -64,7 +64,7 @@ if ! git fetch origin; then
 	exit 1
 fi
 # Be sure we are on the right branch and then update.
-git checkout master
+git checkout -f master
 if [ "$(git rev-parse master)" = "$(git rev-parse origin/master)" ]; then
 	# If we do not need to update the we are done.
 	date -u +%s > "${FIROOT}/finkinfo/LOCAL"