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)