From: Jeff King <peff@peff.net>
Date: Thu, 12 Mar 2009 11:39:08 GMT
Subject: Re: Deleting remote branch pointed by remote HEAD
Message-ID: <20090312113908.GA19572@coredump.intra.peff.net>
In-Reply-To: <94a0d4530903120202w22f1f8ecwc6b4d22652afc427@mail.gmail.com>

On Thu, Mar 12, 2009 at 11:02:08AM +0200, Felipe Contreras wrote:

> >>   git remote set-default $foo <name>
> [...]
> > I think that would be reasonable behavior (and probably a special mode
> > for set-default to just update from the remote's idea of HEAD).
> 
> Nobody is working on this, right?

Jay has a number of improvements to "git remote" in next, including
this. See 104a914 (Merge branch 'js/remote-improvements' into next,
2009-03-05). Especially bc14fac (builtin-remote: add set-head
subcommand, 2009-02-25).

-Peff