mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-12 12:25:22 +00:00
point zoekt to v3 branch
This commit is contained in:
parent
15b9e777e4
commit
95f637f3d2
2 changed files with 3 additions and 1 deletions
2
.gitmodules
vendored
2
.gitmodules
vendored
|
|
@ -1,3 +1,5 @@
|
|||
[submodule "vendor/zoekt"]
|
||||
path = vendor/zoekt
|
||||
url = https://github.com/sourcebot-dev/zoekt
|
||||
# @nocheckin : update this to main when we have a release
|
||||
branch=v3
|
||||
|
|
|
|||
2
vendor/zoekt
vendored
2
vendor/zoekt
vendored
|
|
@ -1 +1 @@
|
|||
Subproject commit b51a2335d51b865e1ffe84aa549e85570da61463
|
||||
Subproject commit 685a5d2f20402ea7cedcddb7b23b55a98f22ad74
|
||||
Loading…
Reference in a new issue