diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-03-03 09:11:55 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-03-04 13:31:04 +0900 |
commit | cbd29ead92d8555f2b918c7f9d53913f26f7a872 (patch) | |
tree | 1e6d2a159a19144c4e39f6d86427626e9692f1ff /shell.c | |
parent | built-in rebase: demonstrate that ORIG_HEAD is not set correctly (diff) | |
download | tgif-cbd29ead92d8555f2b918c7f9d53913f26f7a872.tar.xz |
built-in rebase: set ORIG_HEAD just once, before the rebase
Technically, the scripted version set ORIG_HEAD only in two spots (which
really could have been one, because it called `git checkout $onto^0` to
start the rebase and also if it could take a shortcut, and in both cases
it called `git update-ref $orig_head`).
Practically, it *implicitly* reset ORIG_HEAD whenever `git reset --hard`
was called.
However, what we really want is that it is set exactly once, at the
beginning of the rebase.
So let's do that.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'shell.c')
0 files changed, 0 insertions, 0 deletions