On Thu, 5 Jul 2018 at 11:28, Richard Biener wrote: > > On Thu, Jul 5, 2018 at 12:13 PM Eric Botcazou <ebotca...@adacore.com> wrote: > > > > > They are definitely useful in my day-to-day work when tracking down > > > changes > > > given I can easily grep them. > > > > Seconded. > > > > > I think that any change here should be _after_ we've switched to git > > > (finally). > > > > Well, git doesn't make anything easier than subversion in this area so... > > I was told there's git grep which may be used to grep commit logs?
'git grep' is for grepping through the actual files, but 'git log --grep=pattern' searches the commit logs.
