git fetch origin --tags --prune deletes origin/master?

[Steve Folly <steve@xxxxxxxxxxxx>]

Hi,

Using git 1.7.2.1...

Doing "git fetch origin --tags --prune" deletes my local ref of
origin/master? Is this right? The remote is not affected. To reproduce:

$ cd /tmp &&
    git init --bare remote.git &&
    git clone remote.git local &&
    cd local &&
    touch file &&
    git stage file &&
    git commit -m "add file"
    git push origin master

$ git branch -a
* master
  remotes/origin/master

$ git fetch origin --tags --prune
 x [deleted]         (none)     -> origin/master

$ git branch -a
* master

$ git fetch 
>From /tmp/remote
 * [new branch]      master     -> origin/master

$ git branch -a
* master
  remotes/origin/master


Am I just not understanding something or is this a bug?

Cheers,
Steve

--
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