chore: remove amp workspace settings by keegancsmith · Pull Request #1263 · sourcegraph/src-cli · GitHub
Skip to content

chore: remove amp workspace settings#1263

Merged
keegancsmith merged 1 commit into
mainfrom
k/cleanup
Mar 2, 2026
Merged

chore: remove amp workspace settings#1263
keegancsmith merged 1 commit into
mainfrom
k/cleanup

chore: remove amp workspace settings

d3f6f64
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.