git_rebase_commit: write HEAD's reflog appropriately