No Mentions (in commits)

GitHub permits having mentions (eg. @user) in commits, and while it’s sometimes useful it almost always ends-up spamming the mentioned users, in particular as the commits are being rebased, cherry-picked or pushed.

This handler tries to prevent those mentions by adding a comment warning in the PR against them.

Configuration

This feature is enabled on a repository by having a [no-mentions] table in triagebot.toml:

[no-mentions]

Additionally, one can avoid checking certain pull requests with the exclude-titles configuration option.

[no-mentions]
# It doesn't make sense checking subtree updates, ignore those by matching case-insensitively on the title
exclude-titles = ["subtree update"]

Implementation

See src/handlers/check_commits/no_mentions.rs.