Re: [PATCH] Added 'git-rev-list --igrep' option for case insensitive grep

Are there notable side effects you would need to warn users
about?

For example, what is the difference between "--igrep=foo
--author=bar" and "--grep=foo --author=bar"?