Repository navigation

Keep Dot Directories Out of Lint Ownership and Update Two Operations Notes - #265

Merged

ptr727 merged 2 commits into

feature/lint-ownership-and-docs

Oct 25, 2026

Merged

Keep Dot Directories Out of Lint Ownership and Update Two Operations Notes#265
ptr727 merged 2 commits into
developfrom
feature/lint-ownership-and-docs

Commits on Oct 25, 2026
- Keep Dot Directories Out of Lint Ownership and Update the Lint Container Note
  ptr727
  committed
  2f9c175
- Keep the Ownership Docstring to One Sentence per Line
  ptr727
  committed
  32b8c2c