about
about copied to clipboard
Refactor navigation bar
We have more opportunities to optimize the nav bar. Considering comments from https://github.com/sourcegraph/about/pull/5395:
A few other optimizations that @st0nebraker mentioned in this comment