cherry-pick/revert: add --skip option
authorRohit Ashiwal <rohit.ashiwal265@gmail.com>
Tue, 2 Jul 2019 09:11:28 +0000 (14:41 +0530)
committerJunio C Hamano <gitster@pobox.com>
Tue, 2 Jul 2019 19:08:08 +0000 (12:08 -0700)
commitde81ca3...36b0f1db8bd615c98f2a5c819092c275
tree1fde87a...0327b52f041de0bc8b79bfcce7c4d647copy hash to clipboard (tree)
parent265ab48...2646605b27e1343ac50efa9763690f04copy hash to clipboard (diff)
Documentation/git-cherry-pick.txt
Documentation/git-revert.txt
Documentation/sequencer.txt
builtin/revert.c
sequencer.c
sequencer.h
t/t3510-cherry-pick-sequence.sh