On Thu, Mar 12, 2009 at 02:47:24PM +0200, Felipe Contreras wrote: > On Thu, Mar 12, 2009 at 1:39 PM, Jeff King <peff@xxxxxxxx> 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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
