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)