Skip to content

remove/batches: Remove batch exec command - #1381

Merged
BolajiOlajide merged 1 commit into
mainfrom
remove-batch-exec-command
Sep 28, 2026
Merged

BolajiOlajide merged 1 commit into
mainfrom
remove-batch-exec-command

Conversation

@burmudar

Copy link
Copy Markdown
Contributor

Server-side Batch Changes execution now runs through the batch-exec binary in the Sourcegraph monorepo, so retaining the duplicate internal src batch exec runtime in src-cli leaves an unused execution path to maintain.

This removes the command registration and implementation, its executor-only workspace creator, and the vendored workspace-execution input model that had no remaining consumers. Shared Batch Changes execution code used by batch apply and batch preview remains unchanged. The generated-document inventory and changelog now reflect the removal.

The generated CLI references in sourcegraph/sourcegraph should be refreshed after this src-cli change is released.

Test plan

  • go test ./...
  • (cd lib && go test ./...)
  • go run ./cmd/src batch exec returns unknown subcommand "exec"

Server-side Batch Changes execution now uses the batch-exec binary in the Sourcegraph monorepo, so src-cli no longer needs its internal executor entrypoint.

Remove the command, its executor-only workspace implementation and vendored execution-input model, and update the generated documentation inventory.

Co-authored-by: Amp <amp@ampcode.com>
Amp-Thread-ID: https://ampcode.com/threads/T-01a0e79c-fa8d-73d8-bd66-3a3b34315141
@burmudar burmudar self-assigned this Sep 28, 2026
@github-actions

github-actions Bot commented Sep 28, 2026 •

Copy link
Copy Markdown

@burmudar
burmudar requested a review from a team September 28, 2026 10:59
@burmudar
burmudar marked this pull request as ready for review September 28, 2026 10:59
@BolajiOlajide
BolajiOlajide merged commit 4d48658 into main Sep 28, 2026
9 checks passed
@BolajiOlajide
BolajiOlajide deleted the remove-batch-exec-command branch September 28, 2026 11:47
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.

2 participants