Athanasius 59babd113b Just use the single allowed actor for now. ...

And it's now set to "Athanasius".

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

..

pr-annotate-with-flake8.yml

Just use the single allowed actor for now.

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