From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 13 Mar 2022 22:22:16 GMT
Subject: Re: [PATCH 0/5] Remove. duplicate include directives
Message-ID: <xmqqzglttrvr.fsf@gitster.g>
In-Reply-To: <20220313195536.224075-1-gitter.spiros@gmail.com>

Elia Pinto <gitter.spiros@gmail.com> 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'