Ignore entire directory for linting purposes

[gitpushdashf]

I'm importing a large, public proto repository. Unfortunately, it doesn't pass lint. I'd like to run the google lint on my code and no lint on that folder.

Nothing I've found makes that happen. I can ignore individual lint types, but not all of them.

Is there a way to do this?

[gitpushdashf]

$ cat prototool.yaml
protoc:
  version: 3.11.0
  includes:
    - ai
    - fhir
excludes:
  - fhir
lint:
  group: google
  ignores:
    - id: ALL
      files:
        - fhir
generate:
  plugins:
    - name: python
      output: stubs
$ prototool all
unknown lint id in configuration file: ALL

Not sure how one is supposed to specify all or do an empty group for a particular folder.

[gitpushdashf]

My bad. This works as intended dropping the lint: ignores section like this:

$ cat prototool.yaml
protoc:
  version: 3.11.0
  includes:
    - ai
    - fhir
excludes:
  - fhir
lint:
  group: google
generate:
  plugins:
    - name: python
      output: stubs