Well, I would prefer to get a notice that I made a typo than having that
embarrassing typo in the commit log forever. That's the point of using a
gating system, right? :)
So yes, I do think they should be corrected. (And I have committed typos
in both commit messages and inside files, just as anyone else)