Skip to content

Change lint page title to Linter#80

Closed
gaymeowing wants to merge 2 commits intoluau-lang:masterfrom
gaymeowing:rename-linter-page
Closed

Change lint page title to Linter#80
gaymeowing wants to merge 2 commits intoluau-lang:masterfrom
gaymeowing:rename-linter-page

Conversation

@gaymeowing
Copy link
Copy Markdown
Contributor

Its already known from context clues that its a Linter provided by luau, and if not then the first 7 words in the pages body "Luau comes with a set of linting passes" would clear up any misconceptions.

@gaymeowing
Copy link
Copy Markdown
Contributor Author

gaymeowing commented Jan 9, 2026

Will say I think Luau Lints would also be fine, as the page mainly is a list of lints luau has. It just feels very odd having a page titled like "Luau's Linter".

@aatxe
Copy link
Copy Markdown
Member

aatxe commented May 6, 2026

I made a similar change. Thanks for directing me towards it!

@aatxe aatxe closed this May 6, 2026
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.

2 participants