anchor to results is wrong about zoekt HOT 10 CLOSED

@hanwen can it be set to automatically mirror?

from zoekt.

I actually work in the infrastructure that powers googlesource.com, and we should set up something automatic, but there's so many other important things to do, so it keeps slipping. The same for "go get" support.

from zoekt.

I suspect this will break links for github/gitiles etc., so the change should be somewhere else. I can have a look this week.

from zoekt.

see https://gerrit-review.googlesource.com/108199 and https://gerrit-review.googlesource.com/108200

from zoekt.

oh great, indeed a better place to fix it.

from zoekt.

I already submitted it. The real source of truth is actually https://gerrit.googlesource.com/zoekt (I mirror to github every once in a while.)

from zoekt.

@hanwen can it be set to automatically mirror?

yup, maybe i'm missing something, but I wasn't able to go get on gerrit..

from zoekt.

ok, thank you for your hard work and support. If any help is needed, the community is here for that!

from zoekt.

you're welcome. FWIW, I didnt know I had a community (much less that there are any other instances besides cs.bazel.build). If you have feedback of zoekt in practice, I'd love to hear it.

from zoekt.

commit 128ced7
Author: Han-Wen Nienhuys [email protected]
Date: Tue May 30 18:20:09 2017 +0200

web: don't auto focus the search box on the file print page

This fixes #fragment links in -print mode.

Change-Id: I0a8f255167f43ffa7597a3e3f8f3b910d4b363b3

commit 643f171
Author: Han-Wen Nienhuys [email protected]
Date: Tue May 30 18:19:13 2017 +0200

web: populate the fragment in -print mode

Change-Id: I68d8f13e0cfbdc09f0ff8361b0111167ca601f87

from zoekt.