Re: Deleting remote branch pointed by remote HEAD

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Jeff King
Date: Wednesday, January 21, 2009 - 12:53 pm

On Wed, Jan 21, 2009 at 02:50:40PM -0500, Daniel Barkalow wrote:


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

-Peff
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Deleting remote branch pointed by remote HEAD, Marc-André Lureau, (Wed Jan 21, 6:02 am)
Re: Deleting remote branch pointed by remote HEAD, Michael J Gruber, (Wed Jan 21, 7:33 am)
Re: Deleting remote branch pointed by remote HEAD, Marc-André Lureau, (Wed Jan 21, 7:38 am)
Re: Deleting remote branch pointed by remote HEAD, Adeodato , (Wed Jan 21, 7:41 am)
Re: Deleting remote branch pointed by remote HEAD, Michael J Gruber, (Wed Jan 21, 8:24 am)
Re: Deleting remote branch pointed by remote HEAD, Marc-André Lureau, (Wed Jan 21, 8:41 am)
Re: Deleting remote branch pointed by remote HEAD, Jeff King, (Wed Jan 21, 9:19 am)
Re: Deleting remote branch pointed by remote HEAD, Daniel Barkalow, (Wed Jan 21, 11:30 am)
Re: Deleting remote branch pointed by remote HEAD, Felipe Contreras, (Wed Jan 21, 11:31 am)
Re: Deleting remote branch pointed by remote HEAD, Boyd Stephen Smith Jr., (Wed Jan 21, 12:09 pm)
Re: Deleting remote branch pointed by remote HEAD, Jeff King, (Wed Jan 21, 12:12 pm)
Re: Deleting remote branch pointed by remote HEAD, Jeff King, (Wed Jan 21, 12:14 pm)
Re: Deleting remote branch pointed by remote HEAD, Jeff King, (Wed Jan 21, 12:16 pm)
Re: Deleting remote branch pointed by remote HEAD, Felipe Contreras, (Wed Jan 21, 12:20 pm)
Re: Deleting remote branch pointed by remote HEAD, Daniel Barkalow, (Wed Jan 21, 12:50 pm)
Re: Deleting remote branch pointed by remote HEAD, Jeff King, (Wed Jan 21, 12:53 pm)