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

[Dan Carpenter]

On Mon, May 08, 2023 at 11:29:47AM +0200, Miguel Ojeda wrote:
> 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.
> 

I secretly wanted to say both things you said.  Also please start the
commit message with a Capital letter.  Here is my proposed commit
message:

The Smatch static checker creates some data files in the kernel root
directory.  Add them to the .gitignore file so that no one accidentally
commits them.

regards,
dan carpenter