Re: Deleting remote branch pointed by remote HEAD
- From
Jeff King <peff@peff.net>
- Date
- Mar 12, 2009, 12:50 UTC
- Message-ID
- <20090312125031.GA20381@coredump.intra.peff.net>
- In-Reply-To
- <94a0d4530903120547rfbbaccra8ee68498688fa54@mail.gmail.com>
On Thu, Mar 12, 2009 at 02:47:24PM +0200, Felipe Contreras wrote:
Show 16 quoted lines
> On Thu, Mar 12, 2009 at 1:39 PM, Jeff King <peff@peff.net> wrote: > > 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.
That was what the thread you were replying to was about. If you are proposing a command to set the HEAD in a remote repository, then no, I don't think anybody is working on that.
-Peff