Joris Van den Bossche created ARROW-18096:
---------------------------------------------
Summary: [Dev] Remove github user names from merge commit message
Key: ARROW-18096
URL: https://issues.apache.org/jira/browse/ARROW-18096
Project: Apache Arrow
Issue Type: Task
Components: Developer Tools
Reporter: Joris Van den Bossche
We currently use the top post comment body of a github PR as the body of the
commit message. It is not uncommon to tag someone when opening a PR, but
retaining those github usernames in the commit message is annoying as that can
generate additional notifications for the people that were tagged.
It should be straightforward to remove the github user names from the message
body (for example, just remove the @, so it doesn't work anymore as user name
link)
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
