On 02/26/2011 03:11 PM, Ralf Wildenhues wrote:
* Stefano Lattarini wrote on Sat, Feb 26, 2011 at 02:54:09PM CET:Fine with me. This is the additional squash-in -- on the top of the old one, since I had already commited that locally :-(Don't worry, I do such junk commits all the time. You could git diff HEAD@{2} or some similar command, based on 'git reflog' output.
You can use git add FILENAME git commit --amend -C HEAD to add additional stuff to the last commit. Ralf
