Michael Paquier <michael@paquier.xyz> writes:
> On Wed, Jul 31, 2019 at 11:55:37AM +0530, Amit Kapila wrote:
>> If we can come up with some such tool, we might be able to integrate
>> it with Thomas's patch tester [1] wherein it can apply the patch,
>> verify if there are unnecessary includes in the patch and report the
>> same.
> Or even get something into src/tools/? If the produced result is
> clean enough, that could be interesting.
I take it nobody has actually bothered to *look* in src/tools.
src/tools/pginclude/README
Note that our experience with this sort of thing has not been very good.
See particularly 1609797c2.
regards, tom lane