Remove escaping of GitHub usernames in merge commit messages #455
Description
It should not be needed anymore due to https://github.blog/changelog/2025-11-07-removing-notifications-for-mentions-in-commit-messages/.
This was originally implemented in #260.