diff options
| author |  Jeff King <peff@peff.net> | 2017-02-14 01:08:09 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2017-02-14 11:26:37 -0800 |
| commit | 73fc7b6b9be495e2cabc546ed240efd77adaa8eb (patch) | |
| tree | 55f960b2d80417ce46b26638e34db7b4f7ab1022 /Documentation/git-gui.txt | |
| parent | grep: avoid resolving revision names in --no-index case (diff) | |
| download | tgif-73fc7b6b9be495e2cabc546ed240efd77adaa8eb.tar.xz | |
grep: do not diagnose misspelt revs with --no-index
If we are using --no-index, then our arguments cannot be
revs in the first place. Not only is it pointless to
diagnose them, but if we are not in a repository, we should
not be trying to resolve any names.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-gui.txt')
0 files changed, 0 insertions, 0 deletions