sourcegraph/sourcegraph-public-snapshot
Sign in

Code Navigation: remove extra column in gutter

Merged
Merging jhh/remove-extra-column into main • View on GitHub
1
Build
0
Discussions
686
Stories
  • Activity
  • Components
  • Changeset
    7
PR check
Build 79738•
3 jobs run
•1y ago
c62fd37
Jason Hawk Harris approved this PR•1y ago
Code Navigation: remove extra column in gutter
All UI checks passed. You're ready to merge!
View PR on GitHub
UI tests: Passed
7 changes accepted as baselines on the latest build.
Go to build 79738
Reviewers
Jason Hawk Harris