sequencer (rebase -i): write the 'done' file