cherry-pick: fix --quit not deleting CHERRY_PICK_HEAD
authorNguyễn Thái Ngọc Duy <pclouds@gmail.com>
Thu, 16 Aug 2018 16:06:08 +0000 (18:06 +0200)
committerJunio C Hamano <gitster@pobox.com>
Thu, 16 Aug 2018 17:02:55 +0000 (10:02 -0700)
commit3e7dd99...0823fc2a88f8ec5390bd100d707f9129
tree199eab0...05cafd2690a62957156419cc0c7bfb66copy hash to clipboard (tree)
parent4dde7b8...99dec0e7aecb04fdc55c656e674cff6fcopy hash to clipboard (diff)
builtin/revert.c
t/t3510-cherry-pick-sequence.sh