FR: allow informing zoekt about `fetch --force`
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 25/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Necesita aclaración
- Estado de actividad
- Estancado
- Stack tecnológico
- git
- Área
- devops
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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
- Lenguaje dominante
- TypeScript
- Estrellas
- 3.9k
- Forks
- 374
- Merge medio
- 21 h 18 min
- PR fusionados (30 d)
- 39
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de sourcebot-dev/sourcebot
-
bug triage needed
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
sourcebot-dev/sourcebot#1681 · 1 comentario ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
sourcebot-dev/sourcebot#1633 ·
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
sourcebot-dev/sourcebot#1384 · 4 comentarios ·
-
ask_sb bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
sourcebot-dev/sourcebot#1137 · 4 comentarios ·
-
bug triage needed
Dificultad 3/5 1-2 días Aptitud para principiantes 48/100
sourcebot-dev/sourcebot#1661 · 1 comentario ·
Todos los issues de sourcebot-dev/sourcebot
Issues similares
-
bug(cli): hapi doctor inline-media prints a fabricated B:\ helper-script path in packaged installs Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Crush Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
catppuccin/catppuccin#3125 ·
-
Add a SECURITY.md Abierto
Dificultad 1/5 Menos de una hora Aptitud para principiantes 90/100
ElementsProject/cln-application#167 · 1 comentario · 1 reacción ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
Quantco/pnpm-licenses#17 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100