On Thu, Jul 5, 2018 at 1:48 PM NightStrike <nightstr...@gmail.com> wrote: > > On Thu, Jul 5, 2018 at 6:28 AM, Richard Biener > <richard.guent...@gmail.com> 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? > > svn log | grep ?
Given that puts load on the server (and is also slow) I'd rather avoid that, but yes. Richard.
