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

From: Miguel Ojeda
Date: Mon May 08 2023 - 05:30:06 EST

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/`, which
looks for this sort of things).