Re: Push or merge certain commitid

From: Petr Baudis <pasky@suse.cz>
Date: Feb 6, 2006, 21:04 UTC
Message-ID: <20060206210450.GI31278@pasky.or.cz>
In-Reply-To: <20060206204935.GA20274@guybrush.melee>

  Hello,

  your email address is broken. I'm replying just to the mailing list.

Dear diary, on Mon, Feb 06, 2006 at 09:49:35PM CET, I got a letter where "Bertrand Jacquin (Beber)" <beber@guybrush.melee> said that...

> I don't know if it's really possible to do but I would like to know if
> there is a way to push or merge just certain commitid specified ?
> I think it can trouble parents, trees, etc, but here I need that.

  As I already said on IRC, you can merge a specified commit by using
the git-cherry-pick(1) command.

-- 
				Petr "Pasky" Baudis
Stuff: http://pasky.or.cz/
Of the 3 great composers Mozart tells us what it's like to be human,
Beethoven tells us what it's like to be Beethoven and Bach tells us
what it's like to be the universe.  -- Douglas Adams