tclint, pre-commit and patch submissions

[Tom Tromey]

>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:

Tom> If these patches are not tclint-clean, then after commit this command:
Tom> ...
Tom> $ pre-commit run tclint --all-files
Tom> ...
Tom> will start showing new tclint errors.

Tom> - we make the repo refuse commits that are not pre-commit clean

This one is tricky because we'd have to manage this stuff on the server
side.

Tom> - nothing changes, and submitters can use all/some/no pre-commit hooks
Tom>   for their own submissions

So far this hasn't been that big an issue IMO.  I think most of the
regular contributors use pre-commit.

Tom