diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2007-11-05 17:16:47 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-11-05 18:57:58 -0800 |
| commit | b67a43bb8f4a8ffb64f26b7351c3b0b90239696a (patch) | |
| tree | 32e7062fff50678766d282524ee8da6f8fb35ff1 /Documentation/git-http-push.txt | |
| parent | Merge branch 'gp/maint-diffdoc' into maint (diff) | |
| download | tgif-b67a43bb8f4a8ffb64f26b7351c3b0b90239696a.tar.xz | |
grep with unmerged index
We called flush_grep() every time we saw an unmerged entry in
the index. If we happen to find an unmerged entry before we saw
more than two paths, we incorrectly declared that the user had
too many non-paths options in front.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-http-push.txt')
0 files changed, 0 insertions, 0 deletions