On Mon, 27 Feb 2023 at 15:46, Alex Williamson <alex.william...@redhat.com> wrote: > > On Mon, 27 Feb 2023 11:32:57 +0100 > Philippe Mathieu-Daudé <phi...@linaro.org> wrote: > > > Signed-off-by: Philippe Mathieu-Daudé <phi...@linaro.org> > > Empty commit logs are a pet peeve of mine, there must be some sort of > motivation for the change, something that changed to make this > possible, or perhaps why this was never necessary. Thanks,
I generally agree, but "this file doesn't actually need to include this header" seems straightforward enough that the commit subject says everything you'd want to say about it. The underlying reason is going to be one of: * this used to be needed, but somewhere along the line the thing the file needs moved to a different header * this used to be needed, but the code in the file changed and no longer uses the thing the header was providing * this was never needed, and the include was just cut-n-pasted from a different file when the file was originally written Tracking down which of those is the case for every single "file is including unnecessary headers" cleanup seems like a lot of work trawling through git histories and doesn't really provide any interesting information. thanks -- PMM
