Subject: Re: [PATCH 0/5] Remove. duplicate include directives

From: Junio C Hamano <[email-masked]>
Date: Sun, 13 Mar 2022 22:22:16 +0000

Elia Pinto <[email-masked]> writes:

> This series of patches does not solve any particular problems but
> only eliminates unnecessary duplicate include directives
> from git sources
>
> Elia Pinto (5):
>   attr.c: delete duplicate include
>   builtin/gc.c: delete duplicate include
>   builtin/sparse-checkout.c: delete duplicate include
>   builtin/stash.c: delete duplicate include
>   t/helper/test-run-command.c: delete duplicate include

Thanks.

It matches the output from the pipeline:

$ git grep '^#include' \*.c |
  sort | uniq -c | sort -n | sed -e '/^ *1 /d'