Re: New Git hooks for checking file names in commit messages

[Eli Zaretskii]

> Date: Sun, 23 Apr 2023 02:55:14 +0300
> Cc: jporterbugs@gmail.com, emacs-devel@gnu.org
> From: Dmitry Gutov <dmitry@gutov.dev>
> 
> On 21/04/2023 18:05, Eli Zaretskii wrote:
> > It is still helpful, because as long as you didn't push, you can still
> > do
> > 
> >     $ git reset HEAD^
> > 
> > and then fix whatever needs fixing and commit again.
> 
> When only the commit message is problematic,
> 
>    git commit --amend
> 
> is usually a more ergonomic choice.

This was already mentioned up-thread, so no need to reiterate.  Alan
asked what to do if that is not enough, and that's why I mentioned
"git reset".