Skip to content

chore: add discoverable and searchable to Vale vocabulary#5839

Open
mintlify[bot] wants to merge 1 commit into
mainfrom
mintlify/0b51ef14
Open

chore: add discoverable and searchable to Vale vocabulary#5839
mintlify[bot] wants to merge 1 commit into
mainfrom
mintlify/0b51ef14

Conversation

@mintlify
Copy link
Copy Markdown
Contributor

@mintlify mintlify Bot commented May 16, 2026

Summary

Adds two terms from the last merged PR (#5837) to the Mintlify Vale vocabulary so they no longer trigger spelling warnings.

Changes

  • Added discoverable to .vale/styles/config/vocabularies/Mintlify/accept.txt (alongside the existing discoverability entry).
  • Added searchable to .vale/styles/config/vocabularies/Mintlify/accept.txt.

Context

PR #5837 introduced the searchable: true configuration option for hidden tabs and groups, along with prose like "descendant pages discoverable." Both searchable and discoverable are valid technical terms used in Mintlify docs that Vale's default spell-checker flags (consistent with prior additions like scannable and discoverability). Kept the file alphabetized.


Note

Low Risk
Low risk: documentation lint configuration change only, expanding the Vale accept list to reduce false-positive spelling warnings.

Overview
Updates the Mintlify Vale vocabulary allowlist to include discoverable and searchable, preventing these terms from being flagged by Vale spell-check rules.

Reviewed by Cursor Bugbot for commit c56e8a4. Bugbot is set up for automated code reviews on this repo. Configure here.

@mintlify
Copy link
Copy Markdown
Contributor Author

mintlify Bot commented May 16, 2026

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
mintlify 🟢 Ready View Preview May 16, 2026, 8:06 PM

@mintlify
Copy link
Copy Markdown
Contributor Author

mintlify Bot commented May 16, 2026

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
testsignup415 🟢 Ready View Preview May 16, 2026, 8:05 PM

💡 Tip: Enable Workflows to automatically generate PRs for you.

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