Athanasius c18f183db9 .git would be a directory if present, fix test

2020-07-29 15:00:39 +01:00

..

pr-annotate-with-flake8.yml

.git would be a directory if present, fix test

2020-07-29 15:00:39 +01:00

pr-checks.yml

Final clean ups.

2020-07-29 15:00:39 +01:00

push-checks.yml

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

2020-07-29 15:00:39 +01:00