On this page
Background information
Edit this page on GitHub
Docs
dev
background-information
Background information
See
Developing Sourcegraph
for more context on various topics.