From e8a4efeb130ccfe1db8bff91d042dc13f09497b9 Mon Sep 17 00:00:00 2001
From: Subba Reddy Palagiri
 <167409324+subbareddypalagiri@users.noreply.github.com>
Date: Wed, 24 Jun 2026 16:28:27 +0530
Subject: [PATCH] Fix: Prevent repo linter from crashing on deletion-only PRs
 (#4283)

---
 .github/workflows/repo_linter.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/repo_linter.sh b/.github/workflows/repo_linter.sh
index abe28865..b8a72d43 100755
--- a/.github/workflows/repo_linter.sh
+++ b/.github/workflows/repo_linter.sh
@@ -5,9 +5,9 @@ set -eo pipefail
 REPO_TO_LINT=$(
 	git diff origin/main -- readme.md |
 	# Look for changes (indicated by lines starting with +).
-	grep ^+ |
+	(grep ^+ || true) |
 	# Get the line that includes the readme.
-	grep -Eo 'https.*#readme' |
+	(grep -Eo 'https.*#readme' || true) |
 	# Get just the URL.
 	sed 's/#readme//')