On Mon, Jan 9, 2017 at 10:44 AM, Jacob Keller <jacob.kel...@gmail.com> wrote: > Why not just update the documentation to be "when you are done with a > work tree you can delete it and then run git worktree prune"?
The document does say that (a bit verbose though): When you are done with a linked working tree you can simply delete it. The working tree's administrative files in the repository (see "DETAILS" below) will eventually be removed automatically (see `gc.worktreePruneExpire` in linkgit:git-config[1]), or you can run `git worktree prune` in the main or any linked working tree to clean up any stale administrative files. -- Duy
