On WSL, if a repository is deleted (from the file system) then it can't be re...
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 65/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Activo
- Área
- desktop, operating-systems
Línea de trabajo
Empieza reproduciendo el problema en WSL: elimina un directorio de repositorio del sistema de archivos y luego intenta eliminar su proyecto de la aplicación. Compara esto con volver a crear el directorio usando mkdir; se considera terminado cuando un repositorio eliminado puede quitarse de la lista de proyectos sin volver a crear su ruta. En el issue no se nombran archivos ni tests.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
On WSL, if a repository is deleted (from the file system) then it can't be removed from the projects list in the app.
Verified by having a project I couldn't delete and then recreated the directory the repository was in (with a simple "mkdir") and then I could remove the project fine.
| Field | Value |
|---|---|
| App version | 1.1.20 |
| OS | Windows 10.0.26200 |
| Theme | GitHub |
| Path | / |
| Tenure | Week 15 |
- Lenguaje dominante
- Sin datos de lenguaje
- Estrellas
- 2.1k
- Forks
- 157
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Preparar el entorno
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 github/app
-
triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
-
When using GPT-5.Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
Todos los issues de github/app
Issues similares
-
area:dictation bug good first issue P2
Dificultad 2/5 1-3 horas Aptitud para principiantes 90/100
uttrflow/uttrflow-swift#1956 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
jiangtian616/JHenTai#833 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
longbridge/gpui-kit#3276 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
linuxmint/cinnamon-spices-applets#9076 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 88/100