From 28121f8fbd2d82603a57b94d3844b1052f857d20 Mon Sep 17 00:00:00 2001
From: Joey Perrott <josephperrott@gmail.com>
Date: Thu, 26 Feb 2026 19:02:32 +0000
Subject: [PATCH] build(ng-dev/release): ignore version bumps when checking for
 ng-dev changes

---
 tools/publish_to_github.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/publish_to_github.sh b/tools/publish_to_github.sh
index 3f3e5a331..fc8a82dce 100755
--- a/tools/publish_to_github.sh
+++ b/tools/publish_to_github.sh
@@ -76,8 +76,8 @@ echo "Git configuration has been updated to match the last commit author. Publis
 
 git add -A
 
-if git diff-index --quiet HEAD --; then
-  echo "Skipping push as no changes occured between this push and the previous commit."
+if git diff-index --quiet -I"0\.0\.0-[a-f0-9]+" HEAD --; then
+  echo "Skipping push as no changes occurred between this push and the previous commit (ignoring version bumps)."
 else
   git commit -m "${buildCommitMessage}"
   git push ${authenticatedRepoUrl} ${branchName} --force