Chao Li <[email protected]> writes:
> On Oct 21, 2026, at 12:16, 夏侯莯昍 <[email protected]> wrote:
>> src/tools/git-external-diff is a Bash script, but its usage text is enclosed
>> in the Perl POD markers =comment and =cut. Bash therefore tries to execute
>> the prose and the embedded git config/git diff examples on each invocation.
> Per PG News on May 27 2018 [1], not sure how many folks still use this tool:
Surely, the number of people who use it is exactly zero --- else we'd
have heard complaints before now. So I'm rather inclined to just
delete it instead of expending effort on fixing it.
regards, tom lane