chore(cli): remove 'tool' mention in help text by burmudar · Pull Request #1230 · sourcegraph/src-cli

Skip to content

Navigation Menu

Sign in

Appearance settings

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Conversation

@burmudar

Copy link Copy Markdown

Contributor

@burmudar burmudar commented

Dec 8, 2025

See title

@burmudar burmudar requested a review from a team

December 8, 2025 15:33

@burmudar burmudar self-assigned this

Dec 8, 2025

@burmudar burmudar enabled auto-merge (squash)

December 8, 2025 15:34

@burmudar burmudar disabled auto-merge

December 8, 2025 15:34

@burmudar burmudar changed the title remove in previous commit but did not update the help text chore(cli): remove 'tool' mention in help text

Dec 8, 2025

@burmudar burmudar enabled auto-merge (squash)

December 8, 2025 15:35

@burmudar burmudar merged commit 2e48170 into main

Dec 8, 2025

8 of 9 checks passed

@burmudar burmudar deleted the wb/update-help-text branch

December 8, 2025 16:51

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@BolajiOlajide BolajiOlajide BolajiOlajide approved these changes

Assignees

@burmudar burmudar

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@burmudar @BolajiOlajide