Git rejecting branch merge

[Jan Hubicka]

Hello,
I am trying to update me/honza-gcc-benchmark-branch to current trunk
which I do by deleting it, recreating locally and pushing out.

The problem is that the push fails witih:

remote: *** The following commit was rejected by your hooks.commit-extra-checker script (status: 1)
remote: *** commit: 03e87724864a17e22c9b692cc0caa014e9dba6b1
remote: *** The first line of a commit message should be a short
description of the change, not a single word.
remote: error: hook declined to update

The broken commit is:

$ git show 03e87724864a17e22c9b692cc0caa014e9dba6b1

commit 03e87724864a17e22c9b692cc0caa014e9dba6b1
Author: Georg-Johann Lay <avr@gjlay.de>
Date:   Tue Jan 14 11:09:38 2020 +0100

    Typo.
    libgcc/
            * config/avr/lib1funcs.S (skip): Simplify.


I wonder is there a way to get this done?

Thanks,
Honza