Skip to content

chore(cli): remove 'tool' mention in help text #1230

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
burmudar merged 2 commits into from
Dec 8, 2025
+0 −1
Merged

chore(cli): remove 'tool' mention in help text #1230

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
2e87b81
remove in previous commit but did not update the help text
burmudar Dec 8, 2025
0747552
Merge branch 'main' into wb/update-help-text
burmudar Dec 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion cmd/src/main.go
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,6 @@ The commands are:
search search for results on Sourcegraph
search-jobs manages search jobs
serve-git serves your local git repositories over HTTP for Sourcegraph to pull
tool exposes tools for AI agents to interact with Sourcegraph (EXPERIMENTAL)
users,user manages users
codeowners manages code ownership information
version display and compare the src-cli version against the recommended version for your instance
Expand Down
Loading