Fix what was said in !206 (merged):
Maybe we should enforce a Clippy check for all types of merge requests.