[ARROW-17025] [Dev] Merge script could warn if username pings would be present in commit message

• Type: Improvement
• Status: Resolved
• Priority: Major
• Resolution: Resolved
• Fix Version/s: 11.0.0
• Component/s: Developer Tools
• Labels: pull-request-available
• External issue URL: https://github.com/apache/arrow/issues/20313
• Assignee: Joris Van den Bossche
• Reporter: David Li
• Created: 08/Jul/22 20:58
• Updated: 11/Jan/23 11:48
• Resolved: 19/Oct/22 10:58

Description

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.

Issue Links

• duplicates: ARROW-18096 [Dev] Remove github user names from merge commit message
• links to: GitHub Pull Request #14458