Re: How to manage heads on a remote repository?

From: David Symonds <dsymonds@gmail.com>
Date: Oct 14, 2007, 11:12 UTC
Message-ID: <ee77f5c20710140412s1eb68991ke552995dbbd226b@mail.gmail.com>
In-Reply-To: <20071014110714.GA17368@thunk.org>

On 14/10/2007, Theodore Tso <tytso@mit.edu> wrote:

Show 8 quoted lines

> On Sun, Oct 14, 2007 at 09:03:48PM +1000, David Symonds wrote:
> > git push <remote> :<branch_name>
> >
> > If the left side of the colon in a push refspec is empty, it deletes
> > the remote ref given by the right hand side.
>
> Cool, thanks!  It's not in the git-push man page.  I'll play with it
> some and then submit a patch update the man page.

Yes, it is, including in the examples section. Under the <refspec> options description it says:

  Pushing an empty <src> allows you to delete the <dst> ref from
  the remote repository.

In the examples section, it says:

  git push origin :experimental
         Find a ref that matches experimental in the origin repository
         (e.g. refs/heads/experimental), and delete it.

Dave.