Re: [PATCH/WIP 0/6] Detached HEADs in new worktrees considered harmful

2016-02-26 Thread Junio C Hamano
Michael J Gruber writes: > Before someone loses their HEAD I should put this series out (again). > > 1/6 is a tiny documentation fix. > > 2/6 demonstrates that "git prune" in the main worktree loses HEADs in other > worktrees, and vice versa. You do need to teach the

[PATCH/WIP 0/6] Detached HEADs in new worktrees considered harmful

2016-02-26 Thread Michael J Gruber
Before someone loses their HEAD I should put this series out (again). 1/6 is a tiny documentation fix. 2/6 demonstrates that "git prune" in the main worktree loses HEADs in other worktrees, and vice versa. In fact, one should rethink the meaning of "git rev-list --all" in the context of