From: Arran Cudbard-Bell <a.cudbardb@freeradius.org>
Date: Sat, 9 Nov 2024 22:02:19 +0000 (-0600)
Subject: Report push failures
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa50c76f6f6646cdbd46351c2791d72aa23675e7;p=thirdparty%2Ffreeradius-server.git

Report push failures
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0c6c2a409cd..89968db85a7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -274,4 +274,4 @@ jobs:
           git push origin "HEAD:${BRANCH}"
 
           echo "Pushing to master"
-          git push origin HEAD:master || true
+          git push origin HEAD:master