From ecc979e910e0b8a14d3218add50d641ffb0ee48b Mon Sep 17 00:00:00 2001 From: Sepiolina Date: Wed, 29 Apr 2026 14:22:57 +0700 Subject: [PATCH] Edit Makefile, add git diff MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git diff --cached --quiet exits 0 if nothing is staged, 1 if there are staged changes. The || means the git commit only runs when there is something to commit — so when the tree is clean, it skips the commit gracefully instead of erroring out, and the push still runs. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9358204..85803cb 100644 --- a/Makefile +++ b/Makefile @@ -21,7 +21,7 @@ update-branch: git config --global user.name $(USER_NAME) git config --global user.email $(USER_EMAIL) git add -A - git commit -m "Update with new results" + git diff --cached --quiet || git commit -m "Update with new results" git push --force origin HEAD:update hf-login: