Re: [PATCH RESEND v2 07/16] check_whence: error on directory listed as File

[Emil Velikov <emil.l.velikov@gmail.com>]

On Wed, 1 Mar 2023 at 18:56, Emil Velikov via B4 Relay
<devnull+emil.l.velikov.gmail.com@kernel.org> wrote:
>
> From: Emil Velikov <emil.l.velikov@gmail.com>
>
> No occurrences in-tree, but it makes sense to sanity check that.
>
> Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
> ---
>  check_whence.py | 5 +++++
>  1 file changed, 5 insertions(+)
>
> diff --git a/check_whence.py b/check_whence.py
> index 7ff21f6..130966e 100755
> --- a/check_whence.py
> +++ b/check_whence.py
> @@ -47,6 +47,11 @@ def main():
>      known_prefixes = set(name for name in whence_list if name.endswith('/'))
>      git_files = set(list_git())
>
> +    for name in set(name for name in whence_files if name.endswith('/')):
> +        sys.stderr.write('E: %s listed in WHENCE as File, but is directory\n' %
> +                         name)
> +        ret = 1
> +
>      for name in set(fw for fw in whence_files if whence_files.count(fw) > 1):
>          sys.stderr.write('E: %s listed in WHENCE twice\n' % name)
>          ret = 1
>
> --
> 2.39.2
>

Josh, humble poke about the remainder of the series. Would you have
any comments or suggestions?
Note that many parts can be picked individually. Should there be any
merge conflicts, those will be dead trivial to resolve.

Thanks
Emil