github / github/app

Deleting worktree fails w/out recovery

Ouverte
#3,153 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub
Langage dominant
Aucune donnée de langage
Étoiles
2.1k
Forks
153
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

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".

Guide de contribution

Ouvrir le guide de contribution

Piste de recherche

Start by reproducing session deletion on Windows while a PowerShell window is open in the worktree, then observe the displayed failure and whether it retries. Trace the session-delete worktree cleanup flow; done should provide a recoverable retry or clear retry behavior and identify the file or directory involved in the failure.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Évaluation

Domaine
desktop
Type d'issue
Bug
Difficulté
3/5
Temps estimé
1-2 jours
Activité
Active
Clarté
Plutôt claire
Accessibilité débutants
58/100

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.