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