Skip to content

docs(AGENTS.md): GitNexus is optional — replace the injected MUST-use block - #1812

Merged
100yenadmin merged 5 commits into
mainfrom
docs/gitnexus-optional-agents-md
Oct 6, 2026
Merged

docs(AGENTS.md): GitNexus is optional — replace the injected MUST-use block#1812
100yenadmin merged 5 commits into
mainfrom
docs/gitnexus-optional-agents-md

docs(KIMI-ONBOARDING): rg, not grep, as the GitNexus fallback

2c6a1c6
Select commit
Loading
Failed to load commit list.
Socket Security / Socket Security: Pull Request Alerts succeeded Oct 6, 2026 in 2s

Pull Request #1812 Alerts: Skipped

Report Status Message
PR #1812 Alerts ✅ Pull request contains no net changes to dependencies

Pull request alerts notify when new issues are detected between the diff of the pull request and it's target branch.

Details

No dependency changes detected. Learn more about Socket for GitHub.

👍 No dependency changes detected in pull request

View more details on Socket Security