From: David Symonds <dsymonds@gmail.com>
Date: Sun, 14 Oct 2007 11:12:43 GMT
Subject: Re: How to manage heads on a remote repository?
Message-ID: <ee77f5c20710140412s1eb68991ke552995dbbd226b@mail.gmail.com>
In-Reply-To: <20071014110714.GA17368@thunk.org>

On 14/10/2007, Theodore Tso <tytso@mit.edu> wrote:
> 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.