]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'du/cherry-is-plumbing'
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:14 +0000 (14:22 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Oct 2018 05:22:14 +0000 (14:22 +0900)
Doc update to mark "git cherry" as a plumbing command.

* du/cherry-is-plumbing:
  doc: move git-cherry to plumbing

1  2 
command-list.txt
contrib/completion/git-completion.bash

Simple merge