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:59:00 UTC
[jira] [Commented] (ARROW-17025) [Dev] Merge script could warn if username pings would be present in commit message
[ https://issues.apache.org/jira/browse/ARROW-17025?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17620119#comment-17620119 ]
Joris Van den Bossche commented on ARROW-17025:
-----------------------------------------------
Adding a space like that sounds as a good solution, will put that in a PR.
> [Dev] Merge script could warn if username pings would be present in commit message
> ----------------------------------------------------------------------------------
>
> Key: ARROW-17025
> URL: https://issues.apache.org/jira/browse/ARROW-17025
> Project: Apache Arrow
> Issue Type: Improvement
> Components: Developer Tools
> Reporter: David Li
> Assignee: Joris Van den Bossche
> Priority: Major
> Time Spent: 40m
> Remaining Estimate: 0h
>
> 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.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)