Fix git diff command in repo linter (#2003)

pull/2005/head
Raymond Berger 3 years ago committed by GitHub
parent 7597b9013e
commit 9c7a5d03dc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -2,7 +2,7 @@
# Find the repo in the git diff and then set it to an env variables.
REPO_TO_LINT=$(
git diff main readme.md |
git diff main -- readme.md |
# Look for changes (indicated by lines starting with +).
grep ^+ |
# Get the line that includes the readme.

Loading…
Cancel
Save