Attempt "git diff <branch> --"

As in "git diff [<options>] [<commit>] [--] [<path>...]", in case
it's an ambiguity rather than not knowing what 'develop' is.
This commit is contained in:
Athanasius committed 2020-07-29 15:00:39 +01:00
1 parent 4a965bb7c9
commit f2fa489819
1 file changed
+2 -2
+2 -2
View File
@@ -52,6 +52,6 @@ jobs:
git log | head -100
git diff
# stop the build if there are Python syntax errors or undefined names, ignore existing
git diff "${BASE_REF}" | flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics --diff
git diff "${BASE_REF}" -- | flake8 . --count --select=E9,F63,F7,F82 --show-source --statistics --diff
# exit-zero treats all errors as warnings. The GitHub editor is 127 chars wide
git diff "${BASE_REF}" | flake8 . --count --exit-zero --statistics --diff
git diff "${BASE_REF}" -- | flake8 . --count --exit-zero --statistics --diff