FR: allow informing zoekt about `fetch --force`

Offen

#33 erstellt am 05.10.2024 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Muss geklärt werden
Aktivitätsstatus: Veraltet
Tech-Stack: git
Bereich: devops

Rechercherichtung

Start with the issue's git fetch failure example and investigate how sourcebot handles fetches and communicates repository state to Zoekt. No source file, test, or entry point is named. Done would require a decided way to support force-fetch behavior and verification that tags stay aligned with upstream.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

I would suspect there are a non-trivial number of repos that do force pushes, including overwriting tags:

2024/10/05 17:34:27 command [git --git-dir /data/.sourcebot/repos/github.com/JetBrains/intellij-community.git fetch origin --prune] failed: exit status 1
 ! [rejected]                  idea/191.7141.44     -> idea/191.7141.44  (would clobber existing tag)

In those scenarios, what sourcebot believes is the tag will not square up with the upstream's idea of the tag

I actually checked their issue tracker and surprisingly there doesn't seem to be an issue for influencing that behavior. So in that way, it's great you have a fork

If you want me to try and open the issue with them, let me know

Vorherrschende Sprache: TypeScript
Sterne: 3.9k
Forks: 374
Ø Merge: 21 Std. 18 Min.
Gemergte PRs (30 T.): 39

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus sourcebot-dev/sourcebot

[bug] Search result hydration performs duplicate repository lookups within the same chunk Offen

bug triage needed

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 84/100

sourcebot-dev/sourcebot#1681 · 1 Kommentar · Erstellt am 22.9.2026
Linux ctags build instructions in CONTRIBUTING.md are missing build dependencies Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 84/100

sourcebot-dev/sourcebot#1633 · Erstellt am 05.9.2026
Generic Git URL configs keep percent-encoded repo names Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100

sourcebot-dev/sourcebot#1384 · 4 Kommentare · Erstellt am 29.6.2026
MCP ask_codebase rejects explicit languageModel: getLanguageModelKey includes displayName which the MCP schema doesn't expose Offen

ask_sb bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

sourcebot-dev/sourcebot#1137 · 4 Kommentare · Erstellt am 20.4.2026
[bug] GitHub App installation tokens (ghs_) are rejected by the credential preflight Offen

bug triage needed

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

sourcebot-dev/sourcebot#1661 · 1 Kommentar · Erstellt am 16.9.2026

Alle Issues in sourcebot-dev/sourcebot