Matthieu Moy <Matthieu.Moy <at> grenoble-inp.fr> writes:
Which exact command did you type? Something like this should do it:
git rebase -i HEAD~3
I've tried nearly everything, starting with
git rebase -i d8e3842
which should be the just the same as HEAD~3. I retract the question, my editor
keeps opening a wrong file, which I've just spotted by accident. The problem was
caused by a git-cygwin-emacsclient-emacs interaction, rebase works nicely.