[
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)
