diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-08-20 12:41:34 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-08-20 12:41:34 -0700 |
| commit | 39e415cfd1390ed31a61ca0ca175530302c9a58c (patch) | |
| tree | 3d534af538a48ff09aa5781d91630a15da2508b3 /help.c | |
| parent | 85c54ecc5f26d5273f15ef64e8d756353b222d3b (diff) | |
| parent | 3e7dd9920823fc2a88f8ec5390bd100d707f9129 (diff) | |
Merge branch 'nd/cherry-pick-quit-fix'
"git cherry-pick --quit" failed to remove CHERRY_PICK_HEAD even
though we won't be in a cherry-pick session after it returns, which
has been corrected.
* nd/cherry-pick-quit-fix:
cherry-pick: fix --quit not deleting CHERRY_PICK_HEAD
Diffstat (limited to 'help.c')
0 files changed, 0 insertions, 0 deletions