From: Theodore Tso Date: Sun, 14 Oct 2007 11:07:14 GMT Subject: Re: How to manage heads on a remote repository? Message-ID: <20071014110714.GA17368@thunk.org> In-Reply-To: On Sun, Oct 14, 2007 at 09:03:48PM +1000, David Symonds wrote: > On 14/10/2007, Theodore Ts'o wrote: > > > > I'm currently exploring the idea of not only making the equivalent of > > "pu" and "next" available on a public repository for one of my projects, > > but also the topics/* branches. When thinking about how I might do > > this, one snag I ran into is that the topics/foo and topics/bar branches > > are ephemeral, and so when I replicate them to a remote repository, > > either on kernel.org or repo.or.cz, I would need a way of removing a > > head for a topic branch that had already been merged. > > git push : > > 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. - Ted