Skip to content

escape github usernames on release #432

@grst

Description

@grst

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.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions