Change the merge commit message to comply with the original bors

Fixes #4.