On Sun, Nov 10, 2024 at 01:30:06PM -0300, Alexandre Oliva wrote: > On Nov 9, 2024, Jakub Jelinek <ja...@redhat.com> wrote: > > > r15-4998 and r15-5004 had wrong commit message, add those to > > ignored commits. > > Ugh, sorry and thanks. > Was that .c vs .cc only, or was there anything else?
I think so. > I'm surprised the commit-time checker didn't catch them. I'm surprised too, but don't want to try to push further broken commits just to double check that. ;) > It used to, and that was very helpful to avoid typos in filenames. Yes. And I think it usually still does, I had one commit rejected because of such a reason recently. Jakub