Stefan Hengl

This might have been fixed by #260, which was deployed yesterday. I will keep monitoring the logs to confirm.

This is not relevant anymore.

There is an example in templates.go. Is this what you are looking for? https://sourcegraph.com/github.com/sourcegraph/zoekt/-/blob/web/templates.go?L302&subtree=true

Can you also update the docs [here](https://docs.sourcegraph.com/cody/explanations/code_graph_context#excluding-files-from-embeddings)?

> I think the use of build.Options here isn't great. That object is so huge, and we ultimately only need the indexDir, repoID, and repoName out of it - everything...

You might as well add your nice recipe "How to delete a repo" from the PR description to the documentation of the debug endpoint.

@sourcegraph/dev-experience Closing this because I believe this is done. Please reopen if needed.

TBH for me it's hard to say whether one is clearly better than the other. It seems very subjective. @novoselrok When you say "improved", is this based on the examples...

@jac I am guessing there is no active development on this right now. Shall we close this PR for now?

We won't work on this anymore.