Re: Deleting remote branch pointed by remote HEAD

From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Mar 12, 2009, 12:47 UTC
Message-ID: <94a0d4530903120547rfbbaccra8ee68498688fa54@mail.gmail.com>
In-Reply-To: <20090312113908.GA19572@coredump.intra.peff.net>

On Thu, Mar 12, 2009 at 1:39 PM, Jeff King <peff@peff.net> wrote:

Show 13 quoted lines

> 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).

Yes, I looked at that, but set-head will only change the remote HEAD locally.

-- 
Felipe Contreras