On Mon, May 21, 2018 at 10:52 PM, Andres Freund <andres@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
