From: Avery Pennarun <apenwarr@gmail.com>
Date: Wed, 07 Apr 2010 16:58:33 GMT
Subject: Re: ghost refs
Message-ID: <r2h32541b131004070958pa66bb7a3g6a1ecfaea0419965@mail.gmail.com>
In-Reply-To: <89030B4A18ECCD45978A3A6B639D1F24032A074E1C@FL01EXMB01.trad.tradestation.com>

On Wed, Apr 7, 2010 at 12:38 PM, John Dlugosz <JDlugosz@tradestation.com> wrote:
> A couple times I've seen people who have some reference
> remotes/origin/foo after foo has been removed from origin.
> What is the proper way to address that, other than removing
> the file directly?  It appears to not go away with a "fetch" even
> though it was deleted from the origin.  So what is the proper way
> to delete something on the origin so the deletion propagates?
> I normally use "git push origin :foo".

This is on purpose, based on the theory that you don't want to lose
data from your local repo just because someone (accidentally?) deletes
a branch on the remote server.  Unfortunately, this theory is a bit
flawed, since someone could just as easily overwrite the remote branch
with a totally different commit, and you'd still lose it in *that*
case.  So mostly it's just confusing.

Anyway, what you want is "git remote prune origin".

Have fun,

Avery