On Sun, Nov 10, 2024 at 01:30:06PM -0300, Alexandre Oliva wrote:
> On Nov 9, 2024, Jakub Jelinek <[email protected]> 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
