Athanasius be98212f8b Attempt "git diff <branch> --" ...

As in "git diff [<options>] [<commit>] [--] [<path>...]", in case
it's an ambiguity rather than not knowing what 'develop' is.

2020-07-28 15:30:11 +01:00

..

pr-annotate-with-flake8.yml

Don't force --show-source in .flake8 !

2020-07-26 23:03:23 +01:00

pr-checks.yml

Attempt "git diff <branch> --"

2020-07-28 15:30:11 +01:00

push-checks.yml

Revert "Change the push-checks back into also PRs."

2020-07-28 15:02:32 +01:00