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

From: Steve Folly <steve@spfweb.co.uk>
Date: Aug 13, 2010, 08:36 UTC
Message-ID: <loom.20100813T102636-936@post.gmane.org>

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