github / github/app

Deleting worktree fails w/out recovery

Abierto
#3,153 1 comentario 0 reacciones 0 asignados Ver en GitHub
Lenguaje dominante
Sin datos de lenguaje
Estrellas
2.1k
Forks
153
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

When deleting a worktree as part of session delete it failed to delete because, I think, I had PS open to the worktree (Windows). Ideally it would force delete anyway but at least it should let me try again. I just showed this error.

Image

Which stayed for a minute or something then disappeared.

I just saw it appear again so maybe there is some timer running to try again - I've closed consoles... maybe a detached web app or something is running.

====
Delete failed
Failed to delete session: The process cannot access the file because it is being used by another process. (os error 32)
======

It would be nice if the error mentioned what file / directory was being deleted. Maybe have a "try again" button or some info saying "this will be retried again every minute forever".

Guía de contribución

Abrir la guía de contribución

Línea de trabajo

Empieza reproduciendo la eliminación de una sesión en Windows mientras haya una ventana de PowerShell abierta en el worktree; después, observa el error que se muestra y si se vuelve a intentar. Traza el flujo de limpieza del session-delete-worktree; done debería proporcionar un reintento recuperable o un comportamiento claro de reintento, e identificar el archivo o directorio implicado en el fallo.

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

Evaluación

Área
desktop
Tipo de issue
Error
Dificultad
3/5
Tiempo estimado
1-2 días
Estado de actividad
Activo
Claridad
Bastante claro
Aptitud para principiantes
58/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.