Proposal: Switch to pre-commit.ci service instead of custom pre-commit jobs

[afuetterer]

I think it is actually better to switch to the established pre-commit.ci service.

It will run our lint job, and do periodic update PRs for the .pre-commit-config.yaml config.

Ref: https://pre-commit.ci/

[afuetterer]

There is two thumbs up, which I guess means "yes, let's do it". This has to be done by someone with higher privileges. I can add the service only to my own repositories.

After you added it, we can configure it in .pre-commit-config.yaml.

It can generate an update PR, 'weekly', 'monthly' or 'quarterly'. I think monthly is a solid choice, between being up-to-date and having too much noise.

Also the service can "autofix" PRs, if you like. I am not a fan of that feature, I prefer to do that locally and have CI tell me if there is something wrong. But this is of course up for discussion.

Ref: https://pre-commit.ci/#configuration