Sverre Rabbelier venit, vidit, dixit 06.09.2011 16:26:
Heya,
On Tue, Sep 6, 2011 at 16:21, Michael J Gruber [off-list ref] wrote:
quoted
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