From f2fa489819a3802febb2b040d0f67f224b5ed5c4 Mon Sep 17 00:00:00 2001 From: Athanasius Date: Tue, 28 Jul 2020 15:30:11 +0100 Subject: [PATCH] Attempt "git diff --" As in "git diff [] [] [--] [...]", in case it's an ambiguity rather than not knowing what 'develop' is. --- .github/workflows/pr-checks.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pr-checks.yml b/.github/workflows/pr-checks.yml index a29e8b00..a73ebeba 100644 --- a/.github/workflows/pr-checks.yml +++ b/.github/workflows/pr-checks.yml @@ -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