On Mon, May 13, 2019 at 7:55 PM Shaheed Haque <shaheedhaque@xxxxxxxxx> wrote: > The original code used the more obvious "git worktree remove" rather > than "git worktree prune" but I switched partly because remove seemed > slow (I cannot now quantify what caused me to think that), and partly > because I was having other issues which, I now realise, you probably > addressed in your recent "stat versus mkdir race" change. It should be as slow as "git status; rm -r". The first command _could_ be slow. But if you find it significantly slower than that, I will be glad to receive another bug report. -- Duy
