Joel Challis b06740c933

Auto-create PRs for merged formatting issues (#15157) ...

* Auto-create PRs for merged formatting issues

* Update .github/workflows/format_push.yaml

2021-11-17 20:05:12 +00:00

..

api.yml

…

auto_tag.yaml

…

cli.yml

…

develop_api.yml

…

develop_update.yml

…

docs.yml

…

format_push.yaml

Auto-create PRs for merged formatting issues (#15157)

2021-11-17 20:05:12 +00:00

format.yaml

Partially reinstate CI formatting process (#15155)

2021-11-14 23:06:22 +00:00

labeler.yml

…

lint.yml

…