Re: [PATCH v2] .gitignore: ignore smatch generated files

[Miguel Ojeda]

On Mon, May 8, 2023 at 7:54 AM Brandon Pollack <brpol@xxxxxxxxxxxx> wrote:
>
> ignore smatch generated files.

Sorry, I should have mentioned this in v1: this line just repeats the
title -- please also give the rationale for the change in the commit
message, not just what changed.

> Change-Id: I8ca4002128e53024ea8a3daef908ec5e49cec65c

Also, please avoid `Change-Id` (and run `scripts/checkpatch.pl`, which
looks for this sort of things).

Thanks!

Cheers,
Miguel