Uff, I forgot about the CC of my last reply.
Why not
git commit -C HEAD && git rebase --continue
?
Ciao,
Johannes
Thanks this is a cleaner solution. I guess because I was too fixed upon
knowing of the existence of the no-edit option from other git commands
that I forget about this, even though I am using it quite often.

