diff options
author | Junio C Hamano <gitster@pobox.com> | 2015-08-31 15:38:57 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-08-31 15:38:57 -0700 |
commit | 7b7c10bf5e38ca8fe06ab80b073408e1dc6761d7 (patch) | |
tree | 71f3cdad993d78ee6edb6301ef72a73a3782653b /advice.c | |
parent | Merge branch 'jk/rev-list-has-no-notes' (diff) | |
parent | config: silence warnings for command names with invalid keys (diff) | |
download | tgif-7b7c10bf5e38ca8fe06ab80b073408e1dc6761d7.tar.xz |
Merge branch 'jk/fix-alias-pager-config-key-warnings'
Because the configuration system does not allow "alias.0foo" and
"pager.0foo" as the configuration key, the user cannot use '0foo'
as a custom command name anyway, but "git 0foo" tried to look these
keys up and emitted useless warnings before saying '0foo is not a
git command'. These warning messages have been squelched.
* jk/fix-alias-pager-config-key-warnings:
config: silence warnings for command names with invalid keys
Diffstat (limited to 'advice.c')
0 files changed, 0 insertions, 0 deletions