Document how to only run pre-push with the pre-commit integration

[davetapley]

Question

The pre-commit integration docs helpfully say:

[..] pylint -- due to its speed -- is more suited to a [..] git pre-push hook

And then gives an example .pre-commit-config.yaml which doesn't specify stages: [push].

As someone who isn't familiar with .pre-commit-config.yaml it took some digging to find the relevant documentation for pre-commit.

Would a PR be welcome to make include here?

Documentation for future user

Link to the relevant documentation for pre-commit.

A .pre-commit-config.yaml which includes stages:

- repo: local
  hooks:
    - id: pylint
      name: pylint
      entry: pylint
      language: system
      types: [python]
      stages: [push]
      require_serial: true
      args:
        [
          "-rn", # Only display messages
          "-sn", # Don't display the score
        ]

Additional context

No response

[Pierre-Sassoulas]

Yeap, that would be great. (Related to #9507 also, if you have ideas about how to fix this too)