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. -- Cheers, Sverre Rabbelier -- 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