[Dev] Merge script could warn if username pings would be present in commit message

[asfimport]

If a PR gets merged and its description @ references a user, then the user will get a GitHub notification every time that commit gets pushed to a fork. This can be rather a bother, so it might be nice if the merge script could warn about this, or possibly even rewrite the commit message.

Reporter: David Li / @lidavidm
Assignee: Joris Van den Bossche / @jorisvandenbossche
Watchers: Rok Mihevc / @rok

Related issues:

• [Dev] Remove github user names from merge commit message (duplicates)

PRs and other links:

• GitHub Pull Request #14458

_{Note: This issue was originally created as ARROW-17025. Please see the migration documentation for further details.}

[asfimport]

Rok Mihevc / @rok:
So something like this?

re.sub("@(\w+)", "@ \\1", commit_message) 

[asfimport]

Joris Van den Bossche / @jorisvandenbossche:
Adding a space like that sounds as a good solution, will put that in a PR.

[asfimport]

Rok Mihevc / @rok:
Issue resolved by pull request 14458
#14458