sourcegraph / sourcegraph/src-cli

repository does not exist

Abierto
#1,150 2 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Lenguaje dominante
Go
Estrellas
356
Forks
76
Merge medio
1 d 2 h
PR fusionados (30 d)
13

Descripción

When I perform a search like

src search --json "repo:has.file(package.json) file:package.json "some-package" count:1000"

The whole search fails for a repo that "does not exist"

GraphQL errors: {
"message": "repository does not exist: repo-name",
"path": [
"search",
"results",
"results",
309,
"file",
"content"
]

The query works with a small count before it hits an error. Is there a way for the cli to skip GraphQL errors? The query works fine within the sourcegraph webapp.

I cannot give a case to reproduce because this depends on our corporate data

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comienza en el punto de entrada src search --json y sigue el tratamiento de los errores de GraphQL en search.results.results[].file.content. Usa la consulta proporcionada como punto de partida, aunque para reproducirlo se requieren los datos corporativos de la persona que informó del problema. Se considera terminado cuando la ausencia de un repositorio no hace que falle toda la búsqueda y los resultados restantes se siguen procesando de forma coherente.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
go, graphql
Área
api, cli
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 días
Estado de actividad
Estancado
Claridad
Necesita aclaración
Aptitud para principiantes
35/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.