Re: Your commit 7409a79

[Tom]

Eli Zaretskii <eliz <at> gnu.org> writes:
> 
> Please always start the commit log summary line with a capital letter,
> and end the sentence with a period.  (Actually, in the above
> particular case the summary line is redundant and could be omitted --
> but this is a stylistic comment, not a requirement.)
> 
> Also, renaming a file needs an entry in the target's ChangeLog, like
> this:
> 
>   * CONTRIBUTE: Renamed from etc/CONTRIBUTE.
> 
> and it also should end with a period, not a comma.
> 

These are exactly the situations where a server side commit hook
is really useful for the following reasons:

1. It prevent commits with incorrectly formatted commit messages.

2. It prints an error message describing the problem, thereby
teaching the committer how to make a properly formatted commit.

So there is no need for manually replying to incorrect commits
on the list, because the script checks every commit and even 
tells the user the problem.

So it would be a good idea to add such a precommit script to the
server.