mirror/ git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-05-15 00:26:10 +02:00
Code

Merge branch 'du/cherry-is-plumbing' 

Doc update to mark "git cherry" as a plumbing command.

* du/cherry-is-plumbing:
  doc: move git-cherry to plumbing
This commit is contained in:
Junio C Hamano 2018-10-26 14:22:14 +09:00
parent 1fd2ffca7d 61018fe9e0
commit eff5d693ad
2 changed files with 1 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
command-list.txt
View File

@ -62,7 +62,7 @@ git-check-mailmap purehelpers
git-checkout mainporcelain history
git-checkout-index plumbingmanipulators
git-check-ref-format purehelpers
git-cherry ancillaryinterrogators complete
git-cherry plumbinginterrogators complete
git-cherry-pick mainporcelain
git-citool mainporcelain
git-clean mainporcelain

11
contrib/completion/git-completion.bash
View File

@ -1341,17 +1341,6 @@ _git_checkout ()
esac
}
_git_cherry ()
{
case "$cur" in
--*)
__gitcomp_builtin cherry
return
esac
__git_complete_refs
}
__git_cherry_pick_inprogress_options="--continue --quit --abort"
_git_cherry_pick ()