completion: merge options for cherry-pick and revert
authorDenton Liu <liu.denton@gmail.com>
Tue, 27 Aug 2019 04:45:36 +0000 (00:45 -0400)
committerJunio C Hamano <gitster@pobox.com>
Tue, 27 Aug 2019 21:47:08 +0000 (14:47 -0700)
commitdeaa65a...545f2970167e32db3ff5f91b392f0517
tree7c4f766...b87d88b95f99508b7c17a27df65e63becopy hash to clipboard (tree)
parent745f681...895b31c02b29bdfe4ae8e5498f776c26copy hash to clipboard (diff)
contrib/completion/git-completion.bash