[jira] [Resolved] (ZOOKEEPER-2830) Pre-commit tooling improvement: auto close github pull request when a pull request is merged

["Andor Molnar (Jira)" <ji...@apache.org>]

     [ https://issues.apache.org/jira/browse/ZOOKEEPER-2830?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Andor Molnar resolved ZOOKEEPER-2830.
-------------------------------------
    Resolution: Won't Fix

> Pre-commit tooling improvement: auto close github pull request when a pull request is merged
> --------------------------------------------------------------------------------------------
>
>                 Key: ZOOKEEPER-2830
>                 URL: https://issues.apache.org/jira/browse/ZOOKEEPER-2830
>             Project: ZooKeeper
>          Issue Type: Improvement
>          Components: scripts
>    Affects Versions: 3.4.10, 3.5.3
>            Reporter: Michael Han
>            Priority: Minor
>
> The git pull request commit flow script (zk-merge-pr.py) has a feature that sometimes (e.g. if skipping "resolve JIRA" step, it happened a couple of times to me), it will not automatically close the pull request once a pull request is merged. An improvement here would be nice, so every merge will follow with the closing of merged pull request, otherwise either the original author of the pull request, or Apache Infra has to close the pull request which is less convenient.



--
This message was sent by Atlassian Jira
(v8.20.10#820010)