From: Michael S. Tsirkin Date: Fri, 26 Jan 2007 14:24:20 GMT Subject: Re: git merge FETCH_HEAD produced bad commit message Message-ID: <20070126142420.GO10812@mellanox.co.il> In-Reply-To: <81b0412b0701260102j7d1c44d5nd5aa489cb8312722@mail.gmail.com> > Quoting Alex Riesen : > Subject: Re: git merge FETCH_HEAD produced bad commit message > > On 1/25/07, Michael S. Tsirkin wrote: > > Hi! > > I like to do > > $git fetch > > > > $git log FETCH_HEAD > > > > $git merge FETCH_HEAD > > > > I would expect this to be equivalent to > > > > git pull > > > > However, the message that git merge produces in this case > > is less than informative: > > > > commit 3c11f564846227d80aa76b579c974913c3602862 > > Merge: 9871244... f5e6d63... > > Author: Michael S. Tsirkin > > Date: Thu Jan 25 16:46:51 2007 +0200 > > > > Merge commit 'FETCH_HEAD' into ofed_1_2 > > > > I note that FETCH_HEAD actually has the information on where > > the commit came from: > > $cat .git/FETCH_HEAD > > f5e6d63839970f4785c36b6be3835f037e74195c ssh:///usr/src/ofed_1_2 > > > > So can not git merge be enhanced to put this data in commit log? > > > > Does it need to? FETCH_HEAD is not a real head name, so I think the message above is a bug. > Is the below enough (could be line-wrapped): > > git merge --no-commit FETCH_HEAD && \ > git commit -M "Merge $(cut -d ' ' -f 2- < $(git rev-parse > --git-dir)/FETCH_HEAD) \ > into $(git name-rev HEAD | cut -d ' ' -f 2-)" Or I can just commit --amend and edit it manually. But that's not the point. > In the long run you'll almost certainly find this commit message > useless, though. Isn't 'Merge ssh:///usr/src/ofed_1_2 info ofed_1_2' much more useful than Merge commit 'FETCH_HEAD'? -- MST