diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-07-06 22:09:15 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-07-06 22:09:15 -0700 |
| commit | 65ffaca0e437b4b504fd5fbfe39e72331d7f7314 (patch) | |
| tree | b5b0b4aba3c55f0d0504f85f4808202dc2e737b0 | |
| parent | 645f63111b9fc456cc48da9b320b86800fe5477c (diff) | |
| parent | 81120a90aa32f545ce3b68f49d2877ccff29a6e3 (diff) | |
| download | git-65ffaca0e437b4b504fd5fbfe39e72331d7f7314.tar.gz | |
Merge branch 'jl/complete-git-prune'
Add "git prune" to the completion (in contrib/), which could be
typed by end-users from the command line.
* jl/complete-git-prune:
bash-completion: add git-prune into bash completion
| -rw-r--r-- | command-list.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/command-list.txt b/command-list.txt index cbb960c843..89aa60cde7 100644 --- a/command-list.txt +++ b/command-list.txt @@ -136,7 +136,7 @@ git-pack-redundant plumbinginterrogators git-pack-refs ancillarymanipulators git-parse-remote synchelpers git-patch-id purehelpers -git-prune ancillarymanipulators +git-prune ancillarymanipulators complete git-prune-packed plumbingmanipulators git-pull mainporcelain remote git-push mainporcelain remote |