diff options
author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-08-19 12:52:10 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-21 20:28:11 +0200 |
commit | eb90ea79c59197e25a40fc3414a75d977f8a8f56 (patch) | |
tree | 3bb04c731533822ee88a435f4efaef5e5fabbca2 /builtin/push.c | |
parent | Git 2.19-rc0 (diff) | |
download | git-eb90ea79c59197e25a40fc3414a75d977f8a8f56.tar.xz git-eb90ea79c59197e25a40fc3414a75d977f8a8f56.zip |
generate-cmdlist.sh: collect config from all config.txt files
This script uses Documentation/config.txt as input for "git help
--config" and "git config" completion but it misses the fact that
config.txt includes other txt files. Include all *config.txt as input
when scanning for config keys. This could produce false positives, but
as long as we stick to the blah-config.txt naming convention, we
should be ok.
While at there, move diff.* from config.txt to diff-config.txt where
all other diff config keys are.
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 'builtin/push.c')
0 files changed, 0 insertions, 0 deletions