Closed brendan-kellam closed 1 week ago
Sourcebot should ignore empty repositories as there is nothing to index.
Hit the following issue:
[dev:backend] Error: Command failed: zoekt-git-index -index ../../.sourcebot/index -branches HEAD .sourcebot/repos/github.com/sourcebot-dev/<repo>.git [dev:backend] 2024/11/14 14:57:28 indexGitRepo(.sourcebot/repos/github.com/sourcebot-dev/<repo>.git, delta=false): getCommit("refs/heads/", "HEAD"): reference not found
Related #59
Repro Steps
Expected
Sourcebot should ignore empty repositories as there is nothing to index.
Actual
Hit the following issue:
Related #59