Fix: Prevent repo linter from crashing on deletion-only PRs (#4283)

This commit is contained in:
Subba Reddy Palagiri
2026-06-24 16:28:27 +05:30
committed by GitHub
parent ad02f86dc4
commit e8a4efeb13
+2 -2
View File
@@ -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//')