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:58:00 UTC
[jira] [Closed] (ARROW-18096) [Dev] Remove github user names from merge commit message
[ https://issues.apache.org/jira/browse/ARROW-18096?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Joris Van den Bossche closed ARROW-18096.
-----------------------------------------
Resolution: Duplicate
> [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
> Priority: Major
>
> 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)