Keegan Carruthers-Smith
Keegan Carruthers-Smith
@gl-srgr what is the state of this PR? FYI we are back on 1.18 for now. This may change, so I sent this PR to log to ensure we continue...
FYI I introduced sourcegraph/log for zoekt-webserver here https://github.com/sourcegraph/zoekt/pull/411. It should be rather minimal to introduce to indexserver based on that PR.
Yup, just open a PR. Will add a contributing guide soon.
Here are the PRs that interacted badly: https://github.com/sourcegraph/sourcegraph/pull/42035 and https://github.com/sourcegraph/sourcegraph/pull/42036
FYI this PR was reverted due to it causing issues. See https://github.com/sourcegraph/sourcegraph/pull/42282 for details.
Apologies we hardcode some stuff about which languages ctags supports, and ctags doesn't fail gracefully if there are conflicting files. I've been meaning to make this more graceful (in sourcegraph/go-ctags),...
The last few days I've been experimenting with an alternative to `git archive` which is aware of sourcegraph's ignore policies (`.sourcegraph/ignore` and large file limits). Additionally I wanted to make...
Update from yesterday I forgot to post: I spent a lot of time writing some fun integration with git-cat-file. The code is quite nice and performant, but still doesn't beat...
Using ls-tree is pretty much the same speed as git archive on sourcegraph repo. We only skip 7 files in that repo, which means its hard to beat the speed...