commit 9c7a5d

2021-05-02 08:20:26 Raymond Berger: Fix git diff command in repo linter (#2003)

0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9

`.github/workflows/repo_linter.sh` ..
@@ 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.