rebase: teach `reset_head()` to optionally skip the worktree
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Fri, 18 Jan 2019 15:09:26 +0000 (07:09 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 18 Jan 2019 18:11:45 +0000 (10:11 -0800)
commit414f336069adfaea76217387cd03beefb4d73a20
treeb813502c677c63e4b6bab5acbcb6c2179f5a8a0d
parent5b2237a8761295a0027c7e055e6dfee0e30d5194
rebase: teach `reset_head()` to optionally skip the worktree

This is what the legacy (scripted) rebase does in
`move_to_original_branch`, and we will need this functionality in the
next commit.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
builtin/rebase.c