escape github usernames on release #432
Description
The release message includes the github handles of all contributors.
The release message will be included in all template update PRs created by the bot.
That means, unless they are escaped in backticks (e.g. @grst), all contributors will be subscribed to 150+ PRs.
In the last release, I took care of that manually, but it would be great to automate it such that it can't be forgotten.