Server-side part of src-cli cleanup for 4.0
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Created by: eseliger
The server-side counterpart to https://github.com/sourcegraph/src-cli/pull/822, this PR removes flags we no longer need.
Go test suite and ran a manual test.
Push commits to the source branch or add previously merged commits to review them.