Skip to content

Pass lint rules not applicable to One in the Makefile - #137

Merged
jviotti merged 2 commits into
mainfrom
better-linter
Oct 2, 2026
Merged

jviotti merged 2 commits into
mainfrom
better-linter

Conversation

@jviotti

@jviotti jviotti commented Oct 2, 2026 •

Copy link
Copy Markdown
Member

No description provided.

This reverts commit 7de0a97.
@jviotti jviotti changed the title better linter Pass lint rules not applicable to One in the Makefile Oct 2, 2026
@jviotti
jviotti merged commit 2787f7e into main Oct 2, 2026
3 of 4 checks passed
@jviotti
jviotti deleted the better-linter branch October 2, 2026 14:46
@augmentcode

augmentcode Bot commented Oct 2, 2026

Copy link
Copy Markdown
🤖 Augment PR Summary

Adds a lint rule rejecting $id declarations because the registry derives identifiers from file paths.
Moves dialect enforcement into explicit Makefile lint arguments, keeping repository-only constraints out of the configuration used by Sourcemeta One.

🤖 Was this summary useful? React with 👍 or 👎

@augmentcode augmentcode Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Review completed. No suggestions at this time.

Comment augment review to trigger a new review at any time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant