From: Junio C Hamano Date: Sun, 22 Jul 2007 05:53:19 GMT Subject: Re: [PATCH] Added 'git-rev-list --igrep' option for case insensitive grep Message-ID: <7v8x99t25s.fsf@assigned-by-dhcp.cox.net> In-Reply-To: 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"?