You are viewing a plain text version of this content. The canonical link for it is here.
Posted to jira@arrow.apache.org by "Joris Van den Bossche (Jira)" <ji...@apache.org> on 2022/10/19 08:03:00 UTC
[jira] [Created] (ARROW-18096) [Dev] Remove github user names from merge commit message
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)