ethereum / eipw

Mozilla Public License 2.0
28 stars 27 forks source link

New Lint: No top-level headings #42

Closed Pandapip1 closed 1 year ago

Pandapip1 commented 2 years ago

I can't find an example, but top-level headings should be disallowed

SamWilsn commented 2 years ago

Should be pretty easy to implement. If you create a new lint using a visitor, and override enter_heading, you can error if you find a node with the appropriate level.

Pandapip1 commented 1 year ago

This is now handled by the markdown linter.