[ARROW-18096] [Dev] Remove github user names from merge commit message

• Type: Task
• Status: Closed
• Priority: Major
• Resolution: Duplicate
• Component/s: Developer Tools
• External issue URL: https://github.com/apache/arrow/issues/33294
• Assignee: Unassigned
• Reporter: Joris Van den Bossche
• Created: 19/Oct/22 08:02
• Updated: 11/Jan/23 11:58
• Resolved: 19/Oct/22 08:57

Description

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)

Issue Links

• is duplicated by: ARROW-17025 [Dev] Merge script could warn if username pings would be present in commit message