Sverre Rabbelier venit, vidit, dixit 06.09.2011 16:26: > Heya, > > On Tue, Sep 6, 2011 at 16:21, Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> wrote: >> Have you ever tried to delete a remote branch? >> >> git branch -r -d origin/maint # workee >> git branch -r -d remotes/origin/maint # no workee >> >> Without -r, it doesn't work either. > > Heh, I read this as "worktree" / "no worktree" at least 4 times. > Yes, our require_work_tree should really be renamed to no_worktree_no_workee The beauty of pidgin english ;) Michael -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html