-
Notifications
You must be signed in to change notification settings - Fork 160
Description
Describe the bug
When Ask Sourcebot tries to search through an indexed repository that has an origin URL with a port in it, it fails to find any files because the search query
test.cpp reposet:myserver:12030/testrepo ( repo: localhost:12030/testrepo )
returns empty set. Since filters support regex, I was curious about the ":" symbol, and when I reset sourcebot (clean install) with a git repo that has an origin URL without a port (localhost/testrepo), the queries started working.
In fact, after the new origin URL, the reposet:
filter also went away. I searched through the Sourcebot codebase to see what reposet:
does, because it is not listed under filters, I didn't find anything.
To reproduce
Set up Ask Sourcebot using ollama (I used qwen3):
{
"$schema": "https://raw.githubusercontent.com/sourcebot-dev/sourcebot/main/schemas/v3/index.json",
"models":[
{
"provider": "openai-compatible",
"baseUrl": "http://172.18.0.1:11434/v1",
"model": "qwen3-coder:30b",
"displayName": "qwen3-coder:30b"
}
],
"connections": {
"local-repos": {
"type": "git",
"url": "file:///repos/*"
}
}
}
Clone a git repo that has a URL with port in it (e.g., ssh://localhost:12030/testrepo) into repos
.
Sourcebot deployment information
Sourcebot version (e.g. v3.0.1): latest main (container at ghcr.io/sourcebot-dev/sourcebot:main
)