-
Notifications
You must be signed in to change notification settings - Fork 202
Open
Labels
Description
Describe the bug
Nothing in logs when local repo fails to index
To reproduce
Create a connection to local repo that is invalid and spin it up. Notice that connection passes and repo indexes with no info in logs
{
"$schema": "./schemas/v3/index.json",
"connections": {
"local-repo": {
"type": "git",
"url": "file:///path/to/local/repo"
}
}
}
Sourcebot deployment information
Sourcebot version (e.g. v3.0.1): v4.10.6
Additional information
No response