From 10e27774347bbf0c3e70c168f22c69db8ed880f0 Mon Sep 17 00:00:00 2001
From: LukeMathWalker <20745048+LukeMathWalker@users.noreply.github.com>
Date: Tue, 6 Aug 2024 17:04:58 +0200
Subject: [PATCH] Use better command.

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0feec71..c0c2aac 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -104,7 +104,7 @@ jobs:
           ./helpers/json2redirects.sh book/link2alias.json > site/redirects
       # Verify nothing has changed, meaning that the redirect file is up-to-date
       - run: |
-          git diff-index --quiet HEAD || (echo "Redirects are out-of-date" && git diff && exit 1)
+          git diff --exit-code site/redirects
 
   formatter:
     runs-on: ubuntu-latest