From 58480403d9b74ac5f84108a24544d4e3506fbf35 Mon Sep 17 00:00:00 2001
From: Andreas Baumann <mail@andreasbaumann.cc>
Date: Thu, 13 Mar 2025 09:04:31 +0100
Subject: update: do a git reset hard before pulling

---
 bin/update | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bin/update b/bin/update
index a09b7e7..8c4706f 100755
--- a/bin/update
+++ b/bin/update
@@ -76,6 +76,7 @@ fi
 if test "${UPDATE_UPSTREAM}" = 1; then
 	echo "Updating main state git repo.."
 
+	git -C "${state_dir}" reset --hard
 	git -C "${state_dir}" pull
 
 	find "${state_dir}"/{core,extra}-{any,x86_64} -type f | sort > /tmp/update_packages.$$
-- 
cgit v1.2.3-70-g09d2