Failure to check for Change-Id in merges !

Yesterday mitch_curtis did a merge 5.14.2 → 5.14 and managed to push it to gerrit without it having a Change-Id on it (I'm guessing git has a different hook for merges than the one it has for ordinary commits, so the hook failed to trigger for him).
This morning, git show 5.14 thus gives me

commit fcbbe7ff21a263f7fafb189caff4b662d4da7eda
Merge: ad68ecf 1480922
Author: Mitch Curtis <mitch.curtis@qt.io>
Date:   Thu Mar 19 16:10:31 2020 +0100

    Merge "Merge remote-tracking branch 'origin/5.14.2' into 5.14"

Some script should have noticed that and smacked Mitch upside the head about it before it got integrated, but apparently nothing brought to his attention the lack of a Change-Id footer.