diff options
| author | John Lin <johnlinp@gmail.com> | 2020-06-22 03:13:55 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-06-22 21:29:38 +0300 |
| commit | 81120a90aa32f545ce3b68f49d2877ccff29a6e3 (patch) | |
| tree | ce4c8165a574650575a5a994211e9bdc57060543 /command-list.txt | |
| parent | 101b3204f37606972b40fc17dec84560c22f69f6 (diff) | |
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>
Diffstat (limited to 'command-list.txt')
| -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 |