diff --git a/tools/ci.sh b/tools/ci.sh
index de301ada..001abc54 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -12,12 +12,11 @@ export TZ=
 git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
 git config --local user.name "github-actions[bot]"
 
-git stash
-git pull
-git stash pop
-git add patches
-
-git diff --cached --exit-code || {
+git diff --exit-code patches || {
+	git stash
+	git pull
+	git stash pop
+	git add patches
 	git commit -m "sync"
 	git push
 }