Skip to content
This repository was archived by the owner on Feb 6, 2026. It is now read-only.

Proposal: Changing some linting rules, making some fixes - #8295

Merged
jobelenus merged 1 commit into
mainfrom
jobelenus/linting-rules
Jan 21, 2026
Merged

Proposal: Changing some linting rules, making some fixes#8295
jobelenus merged 1 commit into
mainfrom
jobelenus/linting-rules

Commits

  1. Commits on Jan 21, 2026