[
https://issues.apache.org/jira/browse/ARROW-17025?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17564463#comment-17564463
]
Rok Mihevc commented on ARROW-17025:
------------------------------------
So something like this?
{code:java}
re.sub("@(\w+)", "@ \\1", commit_message) {code}
> [Dev] Merge script could warn if username pings would be present in commit
> message
> ----------------------------------------------------------------------------------
>
> Key: ARROW-17025
> URL: https://issues.apache.org/jira/browse/ARROW-17025
> Project: Apache Arrow
> Issue Type: Improvement
> Components: Developer Tools
> Reporter: David Li
> Priority: Major
>
> 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.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)