RE: Amending merge commits?

2014-07-25 Thread Besen, David
Ah thanks, I'll RTFM better in the future. - Dave -Original Message- From: Jonathan Nieder [mailto:jrnie...@gmail.com] Sent: Friday, July 25, 2014 4:19 PM To: Besen, David Cc: git@vger.kernel.org Subject: Re: Amending merge commits? Besen, David wrote: > I think one of my c

Amending merge commits?

2014-07-25 Thread Besen, David
Hi folks, I think one of my coworkers has stumbled on a git bug -- if you amend a merge commit, and then pull, your amends are lost. Is this expected behavior? I've reproduced the problem in a script (attached).  I ran it against a couple of versions of git (1.7.1, 1.7.9, 1.8.4, 2.0.0) and in