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

From: Miguel Ojeda
Date: Thu Apr 27 2023 - 03:54:20 EST


Hi Brandon,

On Thu, Apr 27, 2023 at 4:33 AM Brandon Pollack <brpol@xxxxxxxxxxxx> wrote:
>
> ignore smatch generated files.

Cc'ing Dan who is the `smatch` author.

Also, when sending a v2 of a series, please mark it as such --
`git-format-patch` can do it for you with e.g. `-v2`.

Cheers,
Miguel