On Mon, May 21, 2018 at 10:52 PM, Andres Freund <and...@anarazel.de> wrote: > Hi, > > On 2018-05-21 21:51:11 -0400, Andrew Dunstan wrote: >> We haven't insisted on context diffs in years now, and one of my >> interlocutors has just turned handsprings trying to follow the advice at >> <https://wiki.postgresql.org/wiki/Working_with_Git> to produce his first >> patch. >> >> >> Unless someone objects really violently I'm going to rip all that stuff out >> and let sanity prevail. > > Yes. Please. >
OK, that's done. Now I think we can get rid of git-external-diff. While we're about it, does anyone use make_diff any more? It seems rather ancient and crufty. cheers andrew -- Andrew Dunstan https://www.2ndQuadrant.com PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services