CI: drop precommit job, use bot, move docs into CI workflow

[Borda]

Moving docs build to CI checks as this is not much lint but real check
Also, I may suggest installing recommit bot instead of GH action which has the advantage of eventually automatically fixing open PRs

cc: @EnricoMi

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (4d46173) 96.70% compared to head (96eb45c) 96.70%.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2594   +/-   ##
=======================================
  Coverage   96.70%   96.70%           
=======================================
  Files         147      147           
  Lines       14885    14885           
=======================================
  Hits        14395    14395           
  Misses        490      490           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[Borda]

@sfdye @EnricoMi could you pls have look / review 🦩

[EnricoMi]

I am fine with moving docs to CI. Can you elaborate on the automatically fixing PRs bit?

[Borda]

I am fine with moving docs to CI. Can you elaborate on the automatically fixing PRs bit?

if you install this bot (https://pre-commit.ci/) for org or just this repo it will automatically run recommit as configured within this repo and if the recommit generates any changes, it will be append as commit to the particular PR

[EnricoMi]

And this happens monthly?

  autoupdate_schedule: 'monthly'

[Borda]

And this happens monthly?

  autoupdate_schedule: 'monthly'

This means that every month bump hooks versions to the latest (via PR) or you can set weekly or quarterly... if you have all latest, no PR is created

[Borda]

@EnricoMi may we proceed with this update? 🐿️

[sfdye]

No objection, let's do this

[EnricoMi]

Can we not rename ci.yml file?

[Borda]

Can we not rename ci.yml file?

@EnricoMi reverted

[EnricoMi]

No objection, let's do this

@sfdye you need to install this Github app: https://github.com/marketplace/pre-commit-ci

[EnricoMi]

LGTM!

[Borda]

LGTM!

cool, lets first install the bot 🎏

[EnricoMi]

@sfdye I fear you will have to first install the bot in this repo, before I can merge this.

I do not have the necessary permissions to do that: https://github.com/marketplace/pre-commit-ci

[Borda]

@sfdye friendly reminder... 🦩

[Borda]

@EnricoMi is there anything I can do to help it land? 🦩

[EnricoMi]

Nope, nothing we can do.

[Borda]

@EnricoMi, shall we close this PR in such a case?

[Borda]

@EnricoMi, shall we close this PR in such a case?

ok, let's close it... 😿