FR: allow informing zoekt about `fetch --force`
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 5/5
- Tempo estimado
- Mais de uma semana
- Facilidade para iniciantes
- 25/100
- Tipo de issue
- Funcionalidade
- Clareza
- Precisa de esclarecimento
- Status de atividade
- Estagnada
- Stack de tecnologia
- git
- Domínio
- devops
Direção de pesquisa
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.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
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
- Linguagem predominante
- TypeScript
- Estrelas
- 3.9k
- Forks
- 374
- Merge médio
- 21h 18min
- PRs com merge (30d)
- 39
Guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de sourcebot-dev/sourcebot
-
bug triage needed
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 84/100
sourcebot-dev/sourcebot#1681 · 1 comentário ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 84/100
sourcebot-dev/sourcebot#1633 ·
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
sourcebot-dev/sourcebot#1384 · 4 comentários ·
-
ask_sb bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 76/100
sourcebot-dev/sourcebot#1137 · 4 comentários ·
-
bug triage needed
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 48/100
sourcebot-dev/sourcebot#1661 · 1 comentário ·
Todas as issues de sourcebot-dev/sourcebot
Issues semelhantes
-
bug(cli): hapi doctor inline-media prints a fabricated B:\ helper-script path in packaged installs Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100
-
Crush Aberta
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 85/100
catppuccin/catppuccin#3125 ·
-
Add a SECURITY.md Aberta
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 90/100
ElementsProject/cln-application#167 · 1 comentário · 1 reação ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
Quantco/pnpm-licenses#17 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100