From 2e87b81c8015523a432f83df393e7b468b6dd47b Mon Sep 17 00:00:00 2001
From: William Bezuidenhout <william.bezuidenhout@sourcegraph.com>
Date: Mon, 8 Dec 2025 17:33:21 +0200
Subject: [PATCH] remove in previous commit but did not update the help text

---
 cmd/src/main.go | 1 -
 1 file changed, 1 deletion(-)

diff --git a/cmd/src/main.go b/cmd/src/main.go
index 9f8ba4ca33..edfb1073d7 100644
--- a/cmd/src/main.go
+++ b/cmd/src/main.go
@@ -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