Merge branch 'nd/grep-reflog'
authorJunio C Hamano <gitster@pobox.com>
Wed, 3 Oct 2012 04:13:39 +0000 (21:13 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 3 Oct 2012 04:13:39 +0000 (21:13 -0700)
Teach the commands from the "log" family the "--grep-reflog" option
to limit output by string that appears in the reflog entry when the
"--walk-reflogs" option is in effect.

* nd/grep-reflog:
revision: make --grep search in notes too if shown
log --grep-reflog: reject the option without -g
revision: add --grep-reflog to filter commits by reflog messages
grep: prepare for new header field filter

Trivial merge