diff options
| author |  John Lin <johnlinp@gmail.com> | 2020-06-22 00:13:55 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2020-06-22 11:29:38 -0700 |
| commit | 81120a90aa32f545ce3b68f49d2877ccff29a6e3 (patch) | |
| tree | ce4c8165a574650575a5a994211e9bdc57060543 | |
| parent | The third batch (diff) | |
| download | tgif-81120a90aa32f545ce3b68f49d2877ccff29a6e3.tar.xz | |
bash-completion: add git-prune into bash completion
Sometimes git would suggest the user to run `git prune` when there are
too many unreachable loose objects. It's more user-friendly if we add
git-prune into bash completion.
Signed-off-by: John Lin <johnlinp@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -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 |