Skip to content

docs: mark Homebrew as best-effort in IntelliJ extension prerequisites#2692

Merged
milanwilliams merged 4 commits into
mainfrom
milan/intellij-brew-best-effort
Jul 16, 2026
Merged

docs: mark Homebrew as best-effort in IntelliJ extension prerequisites#2692
milanwilliams merged 4 commits into
mainfrom
milan/intellij-brew-best-effort

Conversation

@milanwilliams

Copy link
Copy Markdown
Contributor

Summary

Aligns the Semgrep IntelliJ extension's Prerequisites section with the quickstart guide's macOS install block:

  • Reorders CLI install methods so pipx and uv are listed first (preferred), with brew last (best-effort).
  • Adds the same <Info> note used in the quickstart, explaining the Homebrew formula is maintained on a best-effort basis and often lags behind the latest release, plus the reminder for Homebrew users to add Homebrew to their PATH.

Dropped the old per-OS annotation on the pipx line ("Ubuntu/Windows/Linux/macOS") to stay consistent with the quickstart phrasing.

Test plan

  • Verify rendered docs preview shows the reordered install methods and the new note.

🤖 Generated with Claude Code

Reorder the CLI install methods to match the quickstart guide: pipx and
uv are preferred, Homebrew is best-effort. Add the same note explaining
the Homebrew formula lags behind releases, plus the PATH reminder.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@milanwilliams
milanwilliams requested a review from abhijna July 6, 2026 21:21
@mintlify

mintlify Bot commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

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

Project Status Preview Updated (UTC)
semgrep-docs 🟢 Ready View Preview Jul 6, 2026, 9:50 PM

Comment thread docs/extensions/semgrep-intellij.mdx Outdated
Comment thread docs/extensions/semgrep-intellij.mdx Outdated
milanwilliams and others added 3 commits July 9, 2026 19:34
Co-authored-by: Abhijna Parigi <abhijna@semgrep.com>
Co-authored-by: Abhijna Parigi <abhijna@semgrep.com>
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.

3 participants