diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2017-01-02 16:27:25 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-01-09 14:57:29 -0800 |
| commit | 5263220967209c7a64c065054fb64036815ac2ee (patch) | |
| tree | f1b67d039fa5e1198e43b6fe371bf7b6debef854 /git-commit-script | |
| parent | 9d93ccd1d2d2d40a3c7ecc76740caf28683144ac (diff) | |
sequencer (rebase -i): remove CHERRY_PICK_HEAD when no longer needed
The scripted version of the interactive rebase already does that.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-commit-script')
0 files changed, 0 insertions, 0 deletions