diff options
| author |  Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-02-09 18:02:09 +0700 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-02-09 10:24:52 -0800 |
| commit | 32e64e507bb294ae7828f0ab265ffbde5dc28566 (patch) | |
| tree | 4f5ea0e4d2abe4f37b849a346b19c51da97fa286 /ws.c | |
| parent | completion: use __gitcomp_builtin in _git_notes (diff) | |
| download | tgif-32e64e507bb294ae7828f0ab265ffbde5dc28566.tar.xz | |
completion: use __gitcomp_builtin in _git_pull
This is really nice. Since pull_options[] already declares all
passthru options to 'merge' or 'fetch', a single
git pull --git-completion-helper
would provide all completable options (--no- variants are a separate
issue). Dead shell variables can now be deleted.
New completable options are:
--allow-unrelated-histories
--ipv4
--ipv6
--jobs
--refmap=
--signoff
--strategy-option=
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ws.c')
0 files changed, 0 insertions, 0 deletions