Remove the "no mentions" handler

[pietroalbini]

GitHub is removing notifications for @-mentions in commit messages on December 8th 2025. We will then be able to remove the no-mentions handler.